[typetools/checker-framework] acfe8c: Bind variables in `instanceof`

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: acfe8c08e20b2362170e1264293343c95b980343
https://github.com/typetools/checker-framework/commit/acfe8c08e20b2362170e1264293343c95b980343
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-12 (Sun, 12 Apr 2026)

Changed paths:
A SKIP-REQUIRE-JAVADOC
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertions.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TreeFinder.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/DefCollector.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/IndexFileWriter.java
M build.gradle
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterTreeUtil.java
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterVisitor.java
M checker/src/main/java/org/checkerframework/checker/guieffect/Effect.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectVisitor.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterTreeUtil.java
M checker/src/main/java/org/checkerframework/checker/index/IndexMethodIdentifier.java
M checker/src/main/java/org/checkerframework/checker/index/inequality/LessThanVisitor.java
M checker/src/main/java/org/checkerframework/checker/index/samelen/SameLenAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/samelen/SameLenTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/OffsetEquation.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundVisitor.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationVisitor.java
M checker/src/main/java/org/checkerframework/checker/interning/InterningVisitor.java
M checker/src/main/java/org/checkerframework/checker/lock/LockAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/lock/LockVisitor.java
M checker/src/main/java/org/checkerframework/checker/mustcall/MustCallAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/nullness/CollectionToArrayHeuristics.java
M checker/src/main/java/org/checkerframework/checker/nullness/KeyForPropagator.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java
M checker/src/main/java/org/checkerframework/checker/optional/OptionalImplVisitor.java
M checker/src/main/java/org/checkerframework/checker/regex/RegexTransfer.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallInference.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakUtils.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/SetOfTypes.java
M checker/src/main/java/org/checkerframework/checker/rlccalledmethods/RLCCalledMethodsAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/rlccalledmethods/RLCCalledMethodsVisitor.java
M checker/src/main/java/org/checkerframework/checker/signature/SignatureAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessShifts.java
M framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/JavaDiagnosticReader.java
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationTransfer.java
M framework/src/main/java/org/checkerframework/common/aliasing/AliasingTransfer.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeChecker.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeValidator.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/initializedfields/InitializedFieldsAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/returnsreceiver/ReturnsReceiverVisitor.java
M framework/src/main/java/org/checkerframework/common/util/TypeVisualizer.java
M framework/src/main/java/org/checkerframework/common/util/debug/TypeOutputtingChecker.java
M framework/src/main/java/org/checkerframework/common/value/JavaExpressionOptimizer.java
M framework/src/main/java/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/value/ValueTransfer.java
M framework/src/main/java/org/checkerframework/common/value/util/Range.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/AnnotationConverter.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenesStorage.java
M framework/src/main/java/org/checkerframework/framework/ajava/InsertAjavaAnnotations.java
M framework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractStore.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileUtil.java
M framework/src/main/java/org/checkerframework/framework/stub/RemoveAnnotationsForInference.java
M framework/src/main/java/org/checkerframework/framework/stub/StubGenerator.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeMirror.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotationClassLoader.java
M framework/src/main/java/org/checkerframework/framework/type/DeclarationsIntoElements.java
M framework/src/main/java/org/checkerframework/framework/type/ElementAnnotationApplier.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/TypesIntoElements.java
M framework/src/main/java/org/checkerframework/framework/type/treeannotator/ListTreeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/type/treeannotator/PropagationTreeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/type/typeannotator/DefaultQualifierForUseTypeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/type/typeannotator/ListTypeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
M framework/src/main/java/org/checkerframework/framework/util/StringToJavaExpression.java
M framework/src/main/java/org/checkerframework/framework/util/defaults/QualifierDefaults.java
M framework/src/main/java/org/checkerframework/framework/util/dependenttypes/DependentTypesHelper.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
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/constraint/QualifierTyping.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/InvocationType.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/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/FalseBoundException.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Theta.java
M framework/tests/h1h2checker/Catch.java

Log Message:
-----------
Bind variables in `instanceof`



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