[typetools/checker-framework] 3db174: Merge branch 'master' into stub-converter-scopes

[Michael Ernst]

Branch: refs/heads/stub-fix-high-10
Home: https://github.com/typetools/checker-framework
Commit: 3db1747e0a9ecd39fd9ca902a77e92c081ec8620
https://github.com/typetools/checker-framework/commit/3db1747e0a9ecd39fd9ca902a77e92c081ec8620
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-09-28 (Mon, 28 Sep 2026)

Changed paths:
M .gitignore
M build.gradle
M checker/bin-devel/Dockerfile-contents-ubuntu-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk21-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk25-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk27-plus
M checker/bin-devel/Dockerfile-ubuntu-jdkplus
M checker/bin-devel/Dockerfile-ubunturolling-jdkplus
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessAnnotatedTypeFactory.java
A checker/tests/index/LessThanIndexOrHigh.java
A checker/tests/signedness/NonNegativeUnsigned.java
M docs/CHANGELOG.md
M docs/annotation-file-utilities/Makefile
M docs/annotation-file-utilities/annotation-file-format.tex
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-webpage.html
M docs/developer/developer-manual.html
M docs/developer/release/README-release-process.html
M docs/developer/release/release_vars.py
M docs/manual/Makefile
M docs/manual/accumulation-checker.tex
R docs/manual/add-favicon-to-manual
M docs/manual/advanced-features.tex
M docs/manual/aliasing-checker.tex
M docs/manual/annotating-libraries.tex
M docs/manual/called-methods-checker.tex
M docs/manual/constant-value-checker.tex
M docs/manual/creating-a-checker.tex
M docs/manual/external-checkers.tex
M docs/manual/external-tools.tex
M docs/manual/faq.tex
M docs/manual/fenum-checker.tex
M docs/manual/figures/Makefile
M docs/manual/formatter-checker.tex
M docs/manual/generics.tex
M docs/manual/guieffect-checker.tex
R docs/manual/hevea-retarget-crossrefs
M docs/manual/i18n-format-checker.tex
A docs/manual/ifptex.sty
M docs/manual/index-checker.tex
M docs/manual/inference.tex
M docs/manual/initialized-fields-checker.tex
M docs/manual/interning-checker.tex
M docs/manual/introduction.tex
M docs/manual/lock-checker.tex
A docs/manual/lwarp-postprocess
A docs/manual/lwarp-workarounds.tex
A docs/manual/manual-multipage.tex
M docs/manual/manual-style.tex
A docs/manual/manual.css
M docs/manual/manual.tex
M docs/manual/map-key-checker.tex
M docs/manual/must-call-checker.tex
M docs/manual/non-empty-checker.tex
M docs/manual/nullness-checker.tex
M docs/manual/optional-checker.tex
M docs/manual/propkey-checker.tex
M docs/manual/purity-checker.tex
M docs/manual/reflection-checker.tex
M docs/manual/reflection-inference-rules.tex
M docs/manual/regex-checker.tex
M docs/manual/resource-leak-checker.tex
M docs/manual/returns-receiver-checker.tex
A docs/manual/sidetoc.js
M docs/manual/signature-checker.tex
M docs/manual/signedness-checker.tex
M docs/manual/sql-quotes-checker.tex
M docs/manual/subtyping-checker.tex
M docs/manual/tainting-checker.tex
M docs/manual/troubleshooting.tex
M docs/manual/units-checker.tex
M docs/manual/warnings.tex
A framework/src/main/java/org/checkerframework/common/value/ValueAnalysis.java
M framework/src/main/java/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java
M release.gradle

Log Message:
-----------
Merge branch 'master' into stub-converter-scopes


Commit: 6e83832573bc55c36df9c5f3819f8e46d356b016
https://github.com/typetools/checker-framework/commit/6e83832573bc55c36df9c5f3819f8e46d356b016
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-09-28 (Mon, 28 Sep 2026)

Changed paths:
M .gitignore
M build.gradle
M checker/bin-devel/Dockerfile-contents-ubuntu-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk21-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk25-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk27-plus
M checker/bin-devel/Dockerfile-ubuntu-jdkplus
M checker/bin-devel/Dockerfile-ubunturolling-jdkplus
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessAnnotatedTypeFactory.java
A checker/tests/index/LessThanIndexOrHigh.java
A checker/tests/signedness/NonNegativeUnsigned.java
M docs/CHANGELOG.md
M docs/annotation-file-utilities/Makefile
M docs/annotation-file-utilities/annotation-file-format.tex
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-webpage.html
M docs/developer/developer-manual.html
M docs/developer/release/README-release-process.html
M docs/developer/release/release_vars.py
M docs/manual/Makefile
M docs/manual/accumulation-checker.tex
R docs/manual/add-favicon-to-manual
M docs/manual/advanced-features.tex
M docs/manual/aliasing-checker.tex
M docs/manual/annotating-libraries.tex
M docs/manual/called-methods-checker.tex
M docs/manual/constant-value-checker.tex
M docs/manual/creating-a-checker.tex
M docs/manual/external-checkers.tex
M docs/manual/external-tools.tex
M docs/manual/faq.tex
M docs/manual/fenum-checker.tex
M docs/manual/figures/Makefile
M docs/manual/formatter-checker.tex
M docs/manual/generics.tex
M docs/manual/guieffect-checker.tex
R docs/manual/hevea-retarget-crossrefs
M docs/manual/i18n-format-checker.tex
A docs/manual/ifptex.sty
M docs/manual/index-checker.tex
M docs/manual/inference.tex
M docs/manual/initialized-fields-checker.tex
M docs/manual/interning-checker.tex
M docs/manual/introduction.tex
M docs/manual/lock-checker.tex
A docs/manual/lwarp-postprocess
A docs/manual/lwarp-workarounds.tex
A docs/manual/manual-multipage.tex
M docs/manual/manual-style.tex
A docs/manual/manual.css
M docs/manual/manual.tex
M docs/manual/map-key-checker.tex
M docs/manual/must-call-checker.tex
M docs/manual/non-empty-checker.tex
M docs/manual/nullness-checker.tex
M docs/manual/optional-checker.tex
M docs/manual/propkey-checker.tex
M docs/manual/purity-checker.tex
M docs/manual/reflection-checker.tex
M docs/manual/reflection-inference-rules.tex
M docs/manual/regex-checker.tex
M docs/manual/resource-leak-checker.tex
M docs/manual/returns-receiver-checker.tex
A docs/manual/sidetoc.js
M docs/manual/signature-checker.tex
M docs/manual/signedness-checker.tex
M docs/manual/sql-quotes-checker.tex
M docs/manual/subtyping-checker.tex
M docs/manual/tainting-checker.tex
M docs/manual/troubleshooting.tex
M docs/manual/units-checker.tex
M docs/manual/warnings.tex
A framework/src/main/java/org/checkerframework/common/value/ValueAnalysis.java
M framework/src/main/java/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java
M release.gradle

Log Message:
-----------
Merge branch 'master' into stub-converter-classloader-varargs


Commit: da54b63a3bf1322d9da870d122345f3495328705
https://github.com/typetools/checker-framework/commit/da54b63a3bf1322d9da870d122345f3495328705
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-09-30 (Wed, 30 Sep 2026)

Changed paths:
M checker/tests/nullness/java8/Issue579.java

Log Message:
-----------
Fix test case.


Commit: 8a1a3aa1dd2aebc2c3db89275e438c98cce7b2af
https://github.com/typetools/checker-framework/commit/8a1a3aa1dd2aebc2c3db89275e438c98cce7b2af
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-09-30 (Wed, 30 Sep 2026)

Changed paths:
A checker/tests/nullness/Issue8284Nullness.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
A framework/tests/all-systems/Issue8284.java

Log Message:
-----------
Don't let an inference bound that ignores annotations override one that (#8285)


Commit: 9e0f60645f34ead037a13056685a411a1feb8fb3
https://github.com/typetools/checker-framework/commit/9e0f60645f34ead037a13056685a411a1feb8fb3
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-09-30 (Wed, 30 Sep 2026)

Changed paths:
A checker/tests/interning/Issue6716.java
A checker/tests/nullness/Issue2770.java
A checker/tests/nullness/Issue5064.java
A checker/tests/nullness/Issue6748.java
A checker/tests/nullness/Issue6832.java
A checker/tests/nullness/Issue6881.java
A checker/tests/nullness/Issue7064.java
A checker/tests/nullness/java17/Issue6741.java
A checker/tests/resourceleak/Issue4690.java
A checker/tests/tainting/Issue6768.java
A framework/tests/value/Issue3146.java

Log Message:
-----------
Add test cases for issues that are already fixed (#8302)


Commit: 93d602301e3132c44a35f955de1df576ff8c4fa1
https://github.com/typetools/checker-framework/commit/93d602301e3132c44a35f955de1df576ff8c4fa1
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-09-30 (Wed, 30 Sep 2026)

Changed paths:
A checker/tests/index/Issue2561.java
A checker/tests/index/Issue2637.java
A checker/tests/index/Issue2704.java
A checker/tests/nullness/Issue1170.java
A checker/tests/nullness/Issue1184.java
A checker/tests/nullness/Issue1256.java
A checker/tests/nullness/Issue1440.java
A checker/tests/nullness/Issue1444.java
A checker/tests/nullness/Issue2172.java
A checker/tests/nullness/Issue294.java
A checker/tests/nullness/Issue3015.java
A checker/tests/nullness/Issue3624.java
A checker/tests/nullness/Issue4708.java
A checker/tests/nullness/generics/Issue2448.java
A checker/tests/nullness/java17/Issue6756.java
A checker/tests/nullness/java8inference/Issue2429.java
A checker/tests/resourceleak/Issue6038.java
A checker/tests/tainting/Issue2896.java
A checker/tests/units/Issue2090.java
A framework/tests/value/loops/Issue1669.java

Log Message:
-----------
Add test cases for issues that are already fixed (#8303)


Commit: 0195f646c4b18b9f00f16a2f9d966fc147f9aacc
https://github.com/typetools/checker-framework/commit/0195f646c4b18b9f00f16a2f9d966fc147f9aacc
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-09-30 (Wed, 30 Sep 2026)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityChecker.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/DisallowedSideEffects.java
A framework/tests/flow/PurityInitializers.java
A framework/tests/purity-suggestions/PuritySuggestionsInitializers.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreePathUtil.java

Log Message:
-----------
Check a constructor's purity against its class's instance initializers (#8113)

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>


Commit: cd86e5d99dbe09479c69c73817ecf12c9b21f4ac
https://github.com/typetools/checker-framework/commit/cd86e5d99dbe09479c69c73817ecf12c9b21f4ac
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-01 (Thu, 01 Oct 2026)

Changed paths:
M docs/CHANGELOG.md
M release.gradle

Log Message:
-----------
Prep for the release.


Commit: 3c6e9307c793cc4a3a954e128b89e72373c34946
https://github.com/typetools/checker-framework/commit/3c6e9307c793cc4a3a954e128b89e72373c34946
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-01 (Thu, 01 Oct 2026)

Changed paths:
A checker/tests/nullness/Issue8298Nullness.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java
A framework/tests/all-systems/Issue8298.java

Log Message:
-----------
Don't bound a fresh capture type variable by unresolved inference variables (#8299)


Commit: 1014d08ed22948b442b6f5e5f1dcad4be169a46a
https://github.com/typetools/checker-framework/commit/1014d08ed22948b442b6f5e5f1dcad4be169a46a
Author: Yuki Yang <106207451+...@users.noreply.github.com>
Date: 2026-10-01 (Thu, 01 Oct 2026)

Changed paths:
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ConstructorInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Criteria.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TypedInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/specification/IndexFileSpecification.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/Annotation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ABlock.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AClass.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ADeclaration.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AExpression.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AField.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AMethod.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AScene.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ATypeElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/type/Type.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/VivifyingMap.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/WrapperMap.java
M build.gradle
M buildSrc/src/main/groovy/cf-spotless.gradle
M checker-qual/src/main/java/module-info.java
M checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/ConversionCategory.java
M checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Growable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/IteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Modifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolySeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PreservesModifiability.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Replaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqUngrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Shrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/ThrowsUnsupportedOperation.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Ungrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unmodifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/UnmodifiableParam.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unreplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unshrinkable.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/searchindex/SearchIndexAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ical4j.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/jdk.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/messages.properties
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkChecker.java
A checker/src/test/java/org/checkerframework/checker/test/junit/ModifiabilityTest.java
A checker/tests/modifiability/AliasCanonicalizationTest.java
A checker/tests/modifiability/BasicModifiabilityTest.java
A checker/tests/modifiability/BasicModifiableTest3.java
A checker/tests/modifiability/ClassAnnosVSDefaultQualifierForUse.java
A checker/tests/modifiability/CollectionModifiableTest.java
A checker/tests/modifiability/CollectionsModifiableTest.java
A checker/tests/modifiability/ConcurrentHashMapModifiableTest.java
A checker/tests/modifiability/ConstructorResultTypeTest.java
A checker/tests/modifiability/CustomCollectionAnnotations.java
A checker/tests/modifiability/ExactReceiverOverrideTest.java
A checker/tests/modifiability/GenericCapabilityTest.java
A checker/tests/modifiability/GetOrDefaultTest.java
A checker/tests/modifiability/HierarchyTest.java
A checker/tests/modifiability/IdentityHashMapModifiableTest.java
A checker/tests/modifiability/ImplicitReceiverIteratorTest.java
A checker/tests/modifiability/InheritedImplementationTest.java
A checker/tests/modifiability/IntersectionBoundTest.java
A checker/tests/modifiability/IteratorCheckerTest.java
A checker/tests/modifiability/IteratorConflictingAnnosTypeTuple.java
A checker/tests/modifiability/IteratorConflictingAnnosUse.java
A checker/tests/modifiability/IteratorPrecisionTest.java
A checker/tests/modifiability/IteratorTypeVariableReceiverTest.java
A checker/tests/modifiability/ListQueueTest.java
A checker/tests/modifiability/MapModifiableTest.java
A checker/tests/modifiability/PolyIteratorResultTest.java
A checker/tests/modifiability/PolyModifiableTest.java
A checker/tests/modifiability/PolyShrinkableTest.java
A checker/tests/modifiability/PreservesModifiabilityPolyArgumentTest.java
A checker/tests/modifiability/PreservesModifiabilityTest.java
A checker/tests/modifiability/QueueModifiableTest.java
A checker/tests/modifiability/SeqGrowableMapTest.java
A checker/tests/modifiability/SeqGrowableTest.java
A checker/tests/modifiability/SeqGrowableTest2.java
A checker/tests/modifiability/SetModifiableTest.java
A checker/tests/modifiability/SetRefinementTest.java
A checker/tests/modifiability/SetTest.java
A checker/tests/modifiability/ShadowedUoeTest.java
A checker/tests/modifiability/SubtypeCapabilityPreservationTest.java
A checker/tests/modifiability/TypeVariableAliasTest.java
A checker/tests/modifiability/UnmodArrayListTest.java
A checker/tests/modifiability/UnmodParamLocationTest.java
A checker/tests/modifiability/UoeImplementationTest.java
M dataflow/src/main/java/org/checkerframework/dataflow/busyexpr/BusyExprStore.java
M docs/CHANGELOG.md
M docs/manual/advanced-features.tex
M docs/manual/introduction.tex
M docs/manual/manual.tex
A docs/manual/modifiability-checker.tex
M framework/tests/all-systems/DiamondLambda.java
M framework/tests/all-systems/GenericsCasts.java
M framework/tests/all-systems/GenericsEnclosing.java
M framework/tests/all-systems/Issue6810.java
M framework/tests/all-systems/Issue8053.java
M framework/tests/all-systems/RawTypeAssignment.java
M framework/tests/all-systems/java8inference/Issue3036.java

Log Message:
-----------
Add the Modifiability Checker (#8234)

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>
Co-authored-by: Suzanne Millstein <smi...@cs.washington.edu>


Commit: c714cde38316db5780f27b68ef8daa0e00bfdcf0
https://github.com/typetools/checker-framework/commit/c714cde38316db5780f27b68ef8daa0e00bfdcf0
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-01 (Thu, 01 Oct 2026)

Changed paths:
M .gitignore
M build.gradle
M docs/annotation-file-utilities/Makefile
M docs/manual/lwarp-postprocess

Log Message:
-----------
Fix broken links in the lwarp-generated manuals (#8312)


Commit: 2df7db6146bb2caff79a376dc893b0ac6b86c31e
https://github.com/typetools/checker-framework/commit/2df7db6146bb2caff79a376dc893b0ac6b86c31e
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-01 (Thu, 01 Oct 2026)

Changed paths:
M docs/manual/modifiability-checker.tex

Log Message:
-----------
Fix the module in links to Collections Javadoc


Commit: a850bea0dea81f29f8b11c1d566e36b67a28c6f3
https://github.com/typetools/checker-framework/commit/a850bea0dea81f29f8b11c1d566e36b67a28c6f3
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-01 (Thu, 01 Oct 2026)

Changed paths:
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/examples/MavenExample/pom.xml
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/manual.tex

Log Message:
-----------
new release 4.3.0


Commit: 75737e5942df84d643f155e716db393ebf4be133
https://github.com/typetools/checker-framework/commit/75737e5942df84d643f155e716db393ebf4be133
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-01 (Thu, 01 Oct 2026)

Changed paths:
M docs/CHANGELOG.md
M release.gradle

Log Message:
-----------
Prep for next release.


Commit: aea84d0abeb9e6d60fbf3e95b8b172fa397322ea
https://github.com/typetools/checker-framework/commit/aea84d0abeb9e6d60fbf3e95b8b172fa397322ea
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/CheckedExceptionConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/LambdaBodyConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/QualifierTyping.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/CaptureVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/ProperType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Qualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/QualifierVar.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Variable.java

Log Message:
-----------
Nullness: annotate equals parameters in typeinference8 as @Nullable (#8308)


Commit: 6c07868110794c72a89a6f9c974b1ebec557e788
https://github.com/typetools/checker-framework/commit/6c07868110794c72a89a6f9c974b1ebec557e788
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java

Log Message:
-----------
Nullness: annotate typeinference8 parameters and fields that may be null (#8307)


Commit: 338df427897d14ebc46199bc3071d52c08841015
https://github.com/typetools/checker-framework/commit/338df427897d14ebc46199bc3071d52c08841015
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractExecutableType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractQualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java

Log Message:
-----------
Nullness: fix KeyFor and method-reference errors in typeinference8 (#8309)


Commit: 19e755bf38cd5356a6a4e73b564085eefa8adf1a
https://github.com/typetools/checker-framework/commit/19e755bf38cd5356a6a4e73b564085eefa8adf1a
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/QualifierVar.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java
M framework/src/test/java/org/checkerframework/framework/testchecker/lubglb/LubGlbChecker.java

Log Message:
-----------
Nullness: access bound maps in typeinference8 through accessors (#8306)


Commit: c456c70a4545335239ca7d922de2fcce057fee70
https://github.com/typetools/checker-framework/commit/c456c70a4545335239ca7d922de2fcce057fee70
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/ProperType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Variable.java

Log Message:
-----------
Nullness: fix initialization errors in typeinference8 (#8310)


Commit: 31c0700340cfba824bc9847ec663734ff8b55949
https://github.com/typetools/checker-framework/commit/31c0700340cfba824bc9847ec663734ff8b55949
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InferenceResult.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractInvocationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AnnotatedContainsInferenceVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Java8InferenceContext.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java

Log Message:
-----------
Nullness: handle nullable results in typeinference8 (#8311)


Commit: 4b4b053f6683df9563b7153843d3fa4712c138c0
https://github.com/typetools/checker-framework/commit/4b4b053f6683df9563b7153843d3fa4712c138c0
Author: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M .circleci/config.yml

Log Message:
-----------
Update cimg/base Docker tag to v2026.10 (#8313)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>


Commit: fd5b04134a3d43d0e160387e06fd0b1ba6ee07c6
https://github.com/typetools/checker-framework/commit/fd5b04134a3d43d0e160387e06fd0b1ba6ee07c6
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-10-03 (Sat, 03 Oct 2026)

Changed paths:
M .circleci/config.yml
M .gitignore
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ConstructorInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Criteria.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TypedInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/specification/IndexFileSpecification.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/Annotation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ABlock.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AClass.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ADeclaration.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AExpression.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AField.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AMethod.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AScene.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ATypeElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/type/Type.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/VivifyingMap.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/WrapperMap.java
M build.gradle
M buildSrc/src/main/groovy/cf-spotless.gradle
M checker-qual/src/main/java/module-info.java
M checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/ConversionCategory.java
M checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Growable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/IteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Modifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolySeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PreservesModifiability.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Replaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqUngrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Shrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/ThrowsUnsupportedOperation.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Ungrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unmodifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/UnmodifiableParam.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unreplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unshrinkable.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/searchindex/SearchIndexAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ical4j.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/jdk.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/messages.properties
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkChecker.java
A checker/src/test/java/org/checkerframework/checker/test/junit/ModifiabilityTest.java
A checker/tests/index/Issue2561.java
A checker/tests/index/Issue2637.java
A checker/tests/index/Issue2704.java
A checker/tests/interning/Issue6716.java
A checker/tests/modifiability/AliasCanonicalizationTest.java
A checker/tests/modifiability/BasicModifiabilityTest.java
A checker/tests/modifiability/BasicModifiableTest3.java
A checker/tests/modifiability/ClassAnnosVSDefaultQualifierForUse.java
A checker/tests/modifiability/CollectionModifiableTest.java
A checker/tests/modifiability/CollectionsModifiableTest.java
A checker/tests/modifiability/ConcurrentHashMapModifiableTest.java
A checker/tests/modifiability/ConstructorResultTypeTest.java
A checker/tests/modifiability/CustomCollectionAnnotations.java
A checker/tests/modifiability/ExactReceiverOverrideTest.java
A checker/tests/modifiability/GenericCapabilityTest.java
A checker/tests/modifiability/GetOrDefaultTest.java
A checker/tests/modifiability/HierarchyTest.java
A checker/tests/modifiability/IdentityHashMapModifiableTest.java
A checker/tests/modifiability/ImplicitReceiverIteratorTest.java
A checker/tests/modifiability/InheritedImplementationTest.java
A checker/tests/modifiability/IntersectionBoundTest.java
A checker/tests/modifiability/IteratorCheckerTest.java
A checker/tests/modifiability/IteratorConflictingAnnosTypeTuple.java
A checker/tests/modifiability/IteratorConflictingAnnosUse.java
A checker/tests/modifiability/IteratorPrecisionTest.java
A checker/tests/modifiability/IteratorTypeVariableReceiverTest.java
A checker/tests/modifiability/ListQueueTest.java
A checker/tests/modifiability/MapModifiableTest.java
A checker/tests/modifiability/PolyIteratorResultTest.java
A checker/tests/modifiability/PolyModifiableTest.java
A checker/tests/modifiability/PolyShrinkableTest.java
A checker/tests/modifiability/PreservesModifiabilityPolyArgumentTest.java
A checker/tests/modifiability/PreservesModifiabilityTest.java
A checker/tests/modifiability/QueueModifiableTest.java
A checker/tests/modifiability/SeqGrowableMapTest.java
A checker/tests/modifiability/SeqGrowableTest.java
A checker/tests/modifiability/SeqGrowableTest2.java
A checker/tests/modifiability/SetModifiableTest.java
A checker/tests/modifiability/SetRefinementTest.java
A checker/tests/modifiability/SetTest.java
A checker/tests/modifiability/ShadowedUoeTest.java
A checker/tests/modifiability/SubtypeCapabilityPreservationTest.java
A checker/tests/modifiability/TypeVariableAliasTest.java
A checker/tests/modifiability/UnmodArrayListTest.java
A checker/tests/modifiability/UnmodParamLocationTest.java
A checker/tests/modifiability/UoeImplementationTest.java
A checker/tests/nullness/Issue1170.java
A checker/tests/nullness/Issue1184.java
A checker/tests/nullness/Issue1256.java
A checker/tests/nullness/Issue1440.java
A checker/tests/nullness/Issue1444.java
A checker/tests/nullness/Issue2172.java
A checker/tests/nullness/Issue2770.java
A checker/tests/nullness/Issue294.java
A checker/tests/nullness/Issue3015.java
A checker/tests/nullness/Issue3624.java
A checker/tests/nullness/Issue4708.java
A checker/tests/nullness/Issue5064.java
A checker/tests/nullness/Issue6748.java
A checker/tests/nullness/Issue6832.java
A checker/tests/nullness/Issue6881.java
A checker/tests/nullness/Issue7064.java
A checker/tests/nullness/Issue8284Nullness.java
A checker/tests/nullness/Issue8298Nullness.java
A checker/tests/nullness/generics/Issue2448.java
A checker/tests/nullness/java17/Issue6741.java
A checker/tests/nullness/java17/Issue6756.java
M checker/tests/nullness/java8/Issue579.java
A checker/tests/nullness/java8inference/Issue2429.java
A checker/tests/resourceleak/Issue4690.java
A checker/tests/resourceleak/Issue6038.java
A checker/tests/tainting/Issue2896.java
A checker/tests/tainting/Issue6768.java
A checker/tests/units/Issue2090.java
M dataflow/src/main/java/org/checkerframework/dataflow/busyexpr/BusyExprStore.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityChecker.java
M docs/CHANGELOG.md
M docs/annotation-file-utilities/Makefile
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/examples/MavenExample/pom.xml
M docs/manual/advanced-features.tex
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/lwarp-postprocess
M docs/manual/manual.tex
A docs/manual/modifiability-checker.tex
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/DisallowedSideEffects.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InferenceResult.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/CheckedExceptionConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/LambdaBodyConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/QualifierTyping.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractExecutableType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractInvocationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractQualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AnnotatedContainsInferenceVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/CaptureVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/ProperType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Qualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/QualifierVar.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Variable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Java8InferenceContext.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java
M framework/src/test/java/org/checkerframework/framework/testchecker/lubglb/LubGlbChecker.java
M framework/tests/all-systems/DiamondLambda.java
M framework/tests/all-systems/GenericsCasts.java
M framework/tests/all-systems/GenericsEnclosing.java
M framework/tests/all-systems/Issue6810.java
M framework/tests/all-systems/Issue8053.java
A framework/tests/all-systems/Issue8284.java
A framework/tests/all-systems/Issue8298.java
M framework/tests/all-systems/RawTypeAssignment.java
M framework/tests/all-systems/java8inference/Issue3036.java
A framework/tests/flow/PurityInitializers.java
A framework/tests/purity-suggestions/PuritySuggestionsInitializers.java
A framework/tests/value/Issue3146.java
A framework/tests/value/loops/Issue1669.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreePathUtil.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java
M release.gradle

Log Message:
-----------
Merge branch 'master' into stub-converter-classloader-varargs


Commit: 16d95f30a5b906ddb773862066566cd1c61c13c7
https://github.com/typetools/checker-framework/commit/16d95f30a5b906ddb773862066566cd1c61c13c7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-10-03 (Sat, 03 Oct 2026)

Changed paths:
M .circleci/config.yml
M .gitignore
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ConstructorInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Criteria.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TypedInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/specification/IndexFileSpecification.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/Annotation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ABlock.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AClass.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ADeclaration.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AExpression.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AField.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AMethod.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AScene.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ATypeElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/type/Type.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/VivifyingMap.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/WrapperMap.java
M build.gradle
M buildSrc/src/main/groovy/cf-spotless.gradle
M checker-qual/src/main/java/module-info.java
M checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/ConversionCategory.java
M checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Growable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/IteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Modifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolySeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PreservesModifiability.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Replaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqUngrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Shrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/ThrowsUnsupportedOperation.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Ungrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unmodifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/UnmodifiableParam.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unreplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unshrinkable.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/searchindex/SearchIndexAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ical4j.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/jdk.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/messages.properties
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkChecker.java
A checker/src/test/java/org/checkerframework/checker/test/junit/ModifiabilityTest.java
A checker/tests/index/Issue2561.java
A checker/tests/index/Issue2637.java
A checker/tests/index/Issue2704.java
A checker/tests/interning/Issue6716.java
A checker/tests/modifiability/AliasCanonicalizationTest.java
A checker/tests/modifiability/BasicModifiabilityTest.java
A checker/tests/modifiability/BasicModifiableTest3.java
A checker/tests/modifiability/ClassAnnosVSDefaultQualifierForUse.java
A checker/tests/modifiability/CollectionModifiableTest.java
A checker/tests/modifiability/CollectionsModifiableTest.java
A checker/tests/modifiability/ConcurrentHashMapModifiableTest.java
A checker/tests/modifiability/ConstructorResultTypeTest.java
A checker/tests/modifiability/CustomCollectionAnnotations.java
A checker/tests/modifiability/ExactReceiverOverrideTest.java
A checker/tests/modifiability/GenericCapabilityTest.java
A checker/tests/modifiability/GetOrDefaultTest.java
A checker/tests/modifiability/HierarchyTest.java
A checker/tests/modifiability/IdentityHashMapModifiableTest.java
A checker/tests/modifiability/ImplicitReceiverIteratorTest.java
A checker/tests/modifiability/InheritedImplementationTest.java
A checker/tests/modifiability/IntersectionBoundTest.java
A checker/tests/modifiability/IteratorCheckerTest.java
A checker/tests/modifiability/IteratorConflictingAnnosTypeTuple.java
A checker/tests/modifiability/IteratorConflictingAnnosUse.java
A checker/tests/modifiability/IteratorPrecisionTest.java
A checker/tests/modifiability/IteratorTypeVariableReceiverTest.java
A checker/tests/modifiability/ListQueueTest.java
A checker/tests/modifiability/MapModifiableTest.java
A checker/tests/modifiability/PolyIteratorResultTest.java
A checker/tests/modifiability/PolyModifiableTest.java
A checker/tests/modifiability/PolyShrinkableTest.java
A checker/tests/modifiability/PreservesModifiabilityPolyArgumentTest.java
A checker/tests/modifiability/PreservesModifiabilityTest.java
A checker/tests/modifiability/QueueModifiableTest.java
A checker/tests/modifiability/SeqGrowableMapTest.java
A checker/tests/modifiability/SeqGrowableTest.java
A checker/tests/modifiability/SeqGrowableTest2.java
A checker/tests/modifiability/SetModifiableTest.java
A checker/tests/modifiability/SetRefinementTest.java
A checker/tests/modifiability/SetTest.java
A checker/tests/modifiability/ShadowedUoeTest.java
A checker/tests/modifiability/SubtypeCapabilityPreservationTest.java
A checker/tests/modifiability/TypeVariableAliasTest.java
A checker/tests/modifiability/UnmodArrayListTest.java
A checker/tests/modifiability/UnmodParamLocationTest.java
A checker/tests/modifiability/UoeImplementationTest.java
A checker/tests/nullness/Issue1170.java
A checker/tests/nullness/Issue1184.java
A checker/tests/nullness/Issue1256.java
A checker/tests/nullness/Issue1440.java
A checker/tests/nullness/Issue1444.java
A checker/tests/nullness/Issue2172.java
A checker/tests/nullness/Issue2770.java
A checker/tests/nullness/Issue294.java
A checker/tests/nullness/Issue3015.java
A checker/tests/nullness/Issue3624.java
A checker/tests/nullness/Issue4708.java
A checker/tests/nullness/Issue5064.java
A checker/tests/nullness/Issue6748.java
A checker/tests/nullness/Issue6832.java
A checker/tests/nullness/Issue6881.java
A checker/tests/nullness/Issue7064.java
A checker/tests/nullness/Issue8284Nullness.java
A checker/tests/nullness/Issue8298Nullness.java
A checker/tests/nullness/generics/Issue2448.java
A checker/tests/nullness/java17/Issue6741.java
A checker/tests/nullness/java17/Issue6756.java
M checker/tests/nullness/java8/Issue579.java
A checker/tests/nullness/java8inference/Issue2429.java
A checker/tests/resourceleak/Issue4690.java
A checker/tests/resourceleak/Issue6038.java
A checker/tests/tainting/Issue2896.java
A checker/tests/tainting/Issue6768.java
A checker/tests/units/Issue2090.java
M dataflow/src/main/java/org/checkerframework/dataflow/busyexpr/BusyExprStore.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityChecker.java
M docs/CHANGELOG.md
M docs/annotation-file-utilities/Makefile
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/examples/MavenExample/pom.xml
M docs/manual/advanced-features.tex
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/lwarp-postprocess
M docs/manual/manual.tex
A docs/manual/modifiability-checker.tex
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/DisallowedSideEffects.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InferenceResult.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/CheckedExceptionConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/LambdaBodyConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/QualifierTyping.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractExecutableType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractInvocationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractQualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AnnotatedContainsInferenceVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/CaptureVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/ProperType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Qualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/QualifierVar.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Variable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Java8InferenceContext.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java
M framework/src/test/java/org/checkerframework/framework/testchecker/lubglb/LubGlbChecker.java
M framework/tests/all-systems/DiamondLambda.java
M framework/tests/all-systems/GenericsCasts.java
M framework/tests/all-systems/GenericsEnclosing.java
M framework/tests/all-systems/Issue6810.java
M framework/tests/all-systems/Issue8053.java
A framework/tests/all-systems/Issue8284.java
A framework/tests/all-systems/Issue8298.java
M framework/tests/all-systems/RawTypeAssignment.java
M framework/tests/all-systems/java8inference/Issue3036.java
A framework/tests/flow/PurityInitializers.java
A framework/tests/purity-suggestions/PuritySuggestionsInitializers.java
A framework/tests/value/Issue3146.java
A framework/tests/value/loops/Issue1669.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreePathUtil.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java
M release.gradle

Log Message:
-----------
Merge branch 'stub-converter-classloader-varargs' into stub-converter-scopes


Commit: 608ad14c746902d1699503c1a1e2b26598721a94
https://github.com/typetools/checker-framework/commit/608ad14c746902d1699503c1a1e2b26598721a94
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-10-03 (Sat, 03 Oct 2026)

Changed paths:
M .circleci/config.yml
M .gitignore
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ConstructorInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Criteria.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TypedInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/specification/IndexFileSpecification.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/Annotation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ABlock.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AClass.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ADeclaration.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AExpression.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AField.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AMethod.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AScene.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/ATypeElement.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/type/Type.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/VivifyingMap.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/coll/WrapperMap.java
M build.gradle
M buildSrc/src/main/groovy/cf-spotless.gradle
M checker-qual/src/main/java/module-info.java
M checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/ConversionCategory.java
M checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/BottomShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Growable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/IteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeSeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/MaybeShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Modifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyIteratorPolyMod.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyModifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyReplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolySeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PolyShrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/PreservesModifiability.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Replaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqGrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/SeqUngrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Shrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/ThrowsUnsupportedOperation.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Ungrowable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unmodifiable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/UnmodifiableParam.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unreplaceable.java
A checker-qual/src/main/java/org/checkerframework/checker/modifiability/qual/Unshrinkable.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/searchindex/SearchIndexAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityBaseVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ModifiabilityVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/grow/GrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/ical4j.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/IteratorVisitor.java
A checker/src/main/java/org/checkerframework/checker/modifiability/iterator/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/javaparser.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/jdk.astub
A checker/src/main/java/org/checkerframework/checker/modifiability/messages.properties
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/replace/ReplaceChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/seqgrow/SeqGrowChecker.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkAnnotatedTypeFactory.java
A checker/src/main/java/org/checkerframework/checker/modifiability/shrink/ShrinkChecker.java
A checker/src/test/java/org/checkerframework/checker/test/junit/ModifiabilityTest.java
A checker/tests/index/Issue2561.java
A checker/tests/index/Issue2637.java
A checker/tests/index/Issue2704.java
A checker/tests/interning/Issue6716.java
A checker/tests/modifiability/AliasCanonicalizationTest.java
A checker/tests/modifiability/BasicModifiabilityTest.java
A checker/tests/modifiability/BasicModifiableTest3.java
A checker/tests/modifiability/ClassAnnosVSDefaultQualifierForUse.java
A checker/tests/modifiability/CollectionModifiableTest.java
A checker/tests/modifiability/CollectionsModifiableTest.java
A checker/tests/modifiability/ConcurrentHashMapModifiableTest.java
A checker/tests/modifiability/ConstructorResultTypeTest.java
A checker/tests/modifiability/CustomCollectionAnnotations.java
A checker/tests/modifiability/ExactReceiverOverrideTest.java
A checker/tests/modifiability/GenericCapabilityTest.java
A checker/tests/modifiability/GetOrDefaultTest.java
A checker/tests/modifiability/HierarchyTest.java
A checker/tests/modifiability/IdentityHashMapModifiableTest.java
A checker/tests/modifiability/ImplicitReceiverIteratorTest.java
A checker/tests/modifiability/InheritedImplementationTest.java
A checker/tests/modifiability/IntersectionBoundTest.java
A checker/tests/modifiability/IteratorCheckerTest.java
A checker/tests/modifiability/IteratorConflictingAnnosTypeTuple.java
A checker/tests/modifiability/IteratorConflictingAnnosUse.java
A checker/tests/modifiability/IteratorPrecisionTest.java
A checker/tests/modifiability/IteratorTypeVariableReceiverTest.java
A checker/tests/modifiability/ListQueueTest.java
A checker/tests/modifiability/MapModifiableTest.java
A checker/tests/modifiability/PolyIteratorResultTest.java
A checker/tests/modifiability/PolyModifiableTest.java
A checker/tests/modifiability/PolyShrinkableTest.java
A checker/tests/modifiability/PreservesModifiabilityPolyArgumentTest.java
A checker/tests/modifiability/PreservesModifiabilityTest.java
A checker/tests/modifiability/QueueModifiableTest.java
A checker/tests/modifiability/SeqGrowableMapTest.java
A checker/tests/modifiability/SeqGrowableTest.java
A checker/tests/modifiability/SeqGrowableTest2.java
A checker/tests/modifiability/SetModifiableTest.java
A checker/tests/modifiability/SetRefinementTest.java
A checker/tests/modifiability/SetTest.java
A checker/tests/modifiability/ShadowedUoeTest.java
A checker/tests/modifiability/SubtypeCapabilityPreservationTest.java
A checker/tests/modifiability/TypeVariableAliasTest.java
A checker/tests/modifiability/UnmodArrayListTest.java
A checker/tests/modifiability/UnmodParamLocationTest.java
A checker/tests/modifiability/UoeImplementationTest.java
A checker/tests/nullness/Issue1170.java
A checker/tests/nullness/Issue1184.java
A checker/tests/nullness/Issue1256.java
A checker/tests/nullness/Issue1440.java
A checker/tests/nullness/Issue1444.java
A checker/tests/nullness/Issue2172.java
A checker/tests/nullness/Issue2770.java
A checker/tests/nullness/Issue294.java
A checker/tests/nullness/Issue3015.java
A checker/tests/nullness/Issue3624.java
A checker/tests/nullness/Issue4708.java
A checker/tests/nullness/Issue5064.java
A checker/tests/nullness/Issue6748.java
A checker/tests/nullness/Issue6832.java
A checker/tests/nullness/Issue6881.java
A checker/tests/nullness/Issue7064.java
A checker/tests/nullness/Issue8284Nullness.java
A checker/tests/nullness/Issue8298Nullness.java
A checker/tests/nullness/generics/Issue2448.java
A checker/tests/nullness/java17/Issue6741.java
A checker/tests/nullness/java17/Issue6756.java
M checker/tests/nullness/java8/Issue579.java
A checker/tests/nullness/java8inference/Issue2429.java
A checker/tests/resourceleak/Issue4690.java
A checker/tests/resourceleak/Issue6038.java
A checker/tests/tainting/Issue2896.java
A checker/tests/tainting/Issue6768.java
A checker/tests/units/Issue2090.java
M dataflow/src/main/java/org/checkerframework/dataflow/busyexpr/BusyExprStore.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityChecker.java
M docs/CHANGELOG.md
M docs/annotation-file-utilities/Makefile
M docs/annotation-file-utilities/annotation-file-utilities.html
M docs/checker-framework-quick-start.html
M docs/checker-framework-webpage.html
M docs/examples/MavenExample/pom.xml
M docs/manual/advanced-features.tex
M docs/manual/external-tools.tex
M docs/manual/introduction.tex
M docs/manual/lwarp-postprocess
M docs/manual/manual.tex
A docs/manual/modifiability-checker.tex
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/DisallowedSideEffects.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InferenceResult.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/CheckedExceptionConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/LambdaBodyConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/QualifierTyping.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractExecutableType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractInvocationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractQualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AnnotatedContainsInferenceVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/CaptureVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/ProperType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Qualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/QualifierVar.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Variable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Java8InferenceContext.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java
M framework/src/test/java/org/checkerframework/framework/testchecker/lubglb/LubGlbChecker.java
M framework/tests/all-systems/DiamondLambda.java
M framework/tests/all-systems/GenericsCasts.java
M framework/tests/all-systems/GenericsEnclosing.java
M framework/tests/all-systems/Issue6810.java
M framework/tests/all-systems/Issue8053.java
A framework/tests/all-systems/Issue8284.java
A framework/tests/all-systems/Issue8298.java
M framework/tests/all-systems/RawTypeAssignment.java
M framework/tests/all-systems/java8inference/Issue3036.java
A framework/tests/flow/PurityInitializers.java
A framework/tests/purity-suggestions/PuritySuggestionsInitializers.java
A framework/tests/value/Issue3146.java
A framework/tests/value/loops/Issue1669.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreePathUtil.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java
M release.gradle

Log Message:
-----------
Merge branch 'stub-converter-scopes' into stub-fix-high-10


Compare: https://github.com/typetools/checker-framework/compare/19aa250d0aa4...608ad14c7469

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