Skip to content

Fix false-negative when overriding method type-parameter bounds#7467

Open
Suvrat1629 wants to merge 13 commits into
typetools:masterfrom
Suvrat1629:false-neg-6864
Open

Fix false-negative when overriding method type-parameter bounds#7467
Suvrat1629 wants to merge 13 commits into
typetools:masterfrom
Suvrat1629:false-neg-6864

Rename files for uniqueness

8c9585d
Select commit
Loading
Failed to load commit list.
Azure Pipelines / typetools.checker-framework failed Apr 23, 2026 in 35m 29s

Build #20260423.9 failed

Annotations

Check failure on line 500 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / typetools.checker-framework

Build log #L500

Git fetch failed with exit code: 128

Check failure on line 454 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / typetools.checker-framework

Build log #L454

Bash exited with code '2'.

Check failure on line 1713 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / typetools.checker-framework

Build log #L1713

Bash exited with code '1'.

Check failure on line 7676 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / typetools.checker-framework

Build log #L7676

Bash exited with code '1'.