[typetools/checker-framework] 1e860e: New message key flowexpr.parse.error.contract for ...

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 1e860eb815e0bbe1e56041ff9817c69a34099c66
https://github.com/typetools/checker-framework/commit/1e860eb815e0bbe1e56041ff9817c69a34099c66
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-08-21 (Fri, 21 Aug 2026)

Changed paths:
M checker/jtreg/nullness/issue1582/Foo.goal
M checker/jtreg/nullness/preciseErrorMsg/Class1.goal
M checker/tests/lock/ClassLiterals.java
M checker/tests/lock/Issue805.java
M checker/tests/nullness-asserts/NonNullMapValue.java
M checker/tests/nullness/Issue752.java
M checker/tests/nullness/NNOEMoreTests.java
M checker/tests/nullness/NNOEStaticFields.java
M checker/tests/nullness/ParameterExpression.java
M checker/tests/nullness/RequiresNonNullTest.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/messages.properties
M framework/tests/flow/MetaPostcondition.java
M framework/tests/flow/MetaPrecondition.java
M framework/tests/flow/Postcondition.java
M framework/tests/flow/Precondition.java
M framework/tests/flow/javaexpression-scope/Class2.java

Log Message:
-----------
New message key flowexpr.parse.error.contract for contract parse errors (#8028)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications