Issue error if top is used in a contract annotation#6429

Open

mernst wants to merge 14 commits into

typetools:masterfrom

mernst:warn-contract-refinement-to-top-2

Azure Pipelines / typetools.checker-framework failed May 25, 2026 in 34m 55s

Build #20260525.19 failed

3 errors / 9 warnings

Annotations

Check failure on line 310 in Build log

azure-pipelines / typetools.checker-framework

Build log #L310

Bash exited with code '127'.

Check failure on line 310 in Build log

azure-pipelines / typetools.checker-framework

Build log #L310

Bash exited with code '127'.

Check failure on line 570 in Build log

azure-pipelines / typetools.checker-framework

Build log #L570

Bash exited with code '1'.

View more details on Azure Pipelines