[typetools/checker-framework] 785dfc: `@SideEffectsOnly` annotations

[Michael Ernst]

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

Changed paths:
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertions.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/LinkedHashKeyedSet.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/WrapperMap.java
M checker/tests/ainfer-index/non-annotated/Dataset6Crash.java
M checker/tests/index/GuavaPrimitives.java
M checker/tests/nullness/DefaultAnnotation.java
M checker/tests/nullness/Issue6382.java
M checker/tests/nullness/NonNullIteratorNext.java
M checker/tests/nullness/generics/GenericArgs3.java
M checker/tests/nullness/generics/MyMap.java
M checker/tests/resourceleak/Issue6030.java
M checker/tests/signedness/CombinationIterator.java
M framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/JavaDiagnosticReader.java
M framework/tests/framework/AnnotatedGenerics.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationMirrorMap.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationMirrorSet.java

Log Message:
-----------
`@SideEffectsOnly` annotations



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