[typetools/checker-framework] a31fe8: Add test case with new Java 25 language features. ...

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: a31fe86e88d98aef76c58c8c937ca1a68befd2bc
https://github.com/typetools/checker-framework/commit/a31fe86e88d98aef76c58c8c937ca1a68befd2bc
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-03-23 (Mon, 23 Mar 2026)

Changed paths:
M build.gradle
M buildSrc/src/main/groovy/cf-spotless.gradle
M framework-test/src/main/java/org/checkerframework/framework/test/TestUtilities.java
A framework/tests/all-systems/java25/Jep511And512.java
A framework/tests/all-systems/java25/Jep513.java

Log Message:
-----------
Add test case with new Java 25 language features. (#7568)



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