[typetools/checker-framework] edb6e7: Print error key in brackets (#7525)

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: edb6e7a0ee35ca54f440248a99af3c5c5a3335e0
https://github.com/typetools/checker-framework/commit/edb6e7a0ee35ca54f440248a99af3c5c5a3335e0
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/EnsuresLTLengthOf.java
M checker-qual/src/main/java/org/checkerframework/checker/units/qual/PolyUnit.java
M checker/build.gradle
M checker/jtreg/multiplecheckers/NullnessInterning1.out
M checker/jtreg/multiplecheckers/NullnessInterning2.out
M checker/jtreg/multiplecheckers/NullnessInterning3.out
M checker/jtreg/nullness/issue1582/Foo.out
M checker/jtreg/nullness/issue1582/JavaExpressionParseError.out
M checker/jtreg/nullness/issue1929/Issue1929.java
M checker/jtreg/nullness/issue1958/NPE2Test.out
M checker/jtreg/nullness/issue2173/View.out
M checker/jtreg/nullness/issue820/AnonymousClass.out
M checker/jtreg/nullness/issue820/Class1Class2-err.out
M checker/jtreg/nullness/issue820/Class1MinClass2Min-err.out
M checker/jtreg/nullness/issue820/Class2Class1-err.out
M checker/jtreg/nullness/issue820/ErrorAnonymousClass.out
M checker/jtreg/nullness/issue824/Class2.out
M checker/jtreg/nullness/preciseErrorMsg/Class1.out
M checker/jtreg/rawtypes/RawTypeFail.out
M checker/jtreg/stubs/annotatedFor/WithStub.out
M checker/jtreg/stubs/annotatedFor/WithoutStub.out
M checker/jtreg/stubs/annotatedFor/WithoutStubConservative.out
M checker/jtreg/stubs/issue1456/WithStub.out
M checker/jtreg/stubs/issue1456/WithoutStub.out
M checker/tests/README.md
M checker/tests/aggregate/NullnessAndRegex.java
M checker/tests/ainfer-index/non-annotated/DependentTypesViewpointAdaptationTest.java
M checker/tests/ainfer-nullness/non-annotated/MonotonicNonNullInferenceTest.java
M checker/tests/ainfer-nullness/non-annotated/NullTypeVarTest.java
M checker/tests/ainfer-nullness/non-annotated/TwoCtorGenericAbstract.java
M checker/tests/ainfer-nullness/non-annotated/TypeVarPlumeUtil.java
M checker/tests/ainfer-resourceleak/non-annotated/AddNotOwning.java
M checker/tests/ainfer-resourceleak/non-annotated/ClassWithTwoOwningFieldsTest.java
M checker/tests/ainfer-resourceleak/non-annotated/ECMInference.java
M checker/tests/ainfer-resourceleak/non-annotated/EnsuresCalledMethodsTest.java
M checker/tests/ainfer-resourceleak/non-annotated/EnsuresCalledMethodsVarargsTest.java
M checker/tests/ainfer-resourceleak/non-annotated/MustCallAliasOnReceiver.java
M checker/tests/ainfer-resourceleak/non-annotated/MustCallAliasOnRegularExits.java
M checker/tests/ainfer-resourceleak/non-annotated/MustCallAliasParams.java
M checker/tests/ainfer-resourceleak/non-annotated/OwnershipTransferOnConstructor.java
M checker/tests/ainfer-resourceleak/non-annotated/OwningField.java
M checker/tests/ainfer-resourceleak/non-annotated/OwningFieldIndirectCall.java
M checker/tests/ainfer-resourceleak/non-annotated/OwningParams.java
M checker/tests/ainfer-resourceleak/non-annotated/ReplaceMustCallAliasAnnotation.java
M checker/tests/ainfer-testchecker/non-annotated/AnnotationWithFieldTest.java
M checker/tests/ainfer-testchecker/non-annotated/Anonymous.java
M checker/tests/ainfer-testchecker/non-annotated/AnonymousClassWithField.java
M checker/tests/ainfer-testchecker/non-annotated/CompoundTypeTest.java
M checker/tests/ainfer-testchecker/non-annotated/ConflictingAnnotationsTest.java
M checker/tests/ainfer-testchecker/non-annotated/ConstructorTest.java
M checker/tests/ainfer-testchecker/non-annotated/EnsuresQualifierParamsTest.java
M checker/tests/ainfer-testchecker/non-annotated/EnsuresQualifierTest.java
M checker/tests/ainfer-testchecker/non-annotated/EnumConstants.java
M checker/tests/ainfer-testchecker/non-annotated/EnumWithInnerClass.java
M checker/tests/ainfer-testchecker/non-annotated/ExpectedErrors.java
M checker/tests/ainfer-testchecker/non-annotated/FromReceiver.java
M checker/tests/ainfer-testchecker/non-annotated/IShouldBeSibling1.java
M checker/tests/ainfer-testchecker/non-annotated/IgnoreMetaAnnotationTest1.java
M checker/tests/ainfer-testchecker/non-annotated/InheritanceTest.java
M checker/tests/ainfer-testchecker/non-annotated/InnerClassFieldDeclAnno.java
M checker/tests/ainfer-testchecker/non-annotated/LUBAssignmentTest.java
M checker/tests/ainfer-testchecker/non-annotated/MethodDefinedInSupertype.java
M checker/tests/ainfer-testchecker/non-annotated/MethodReturnTest.java
M checker/tests/ainfer-testchecker/non-annotated/MultiDimensionalArrays.java
M checker/tests/ainfer-testchecker/non-annotated/OtherAnnotations.java
M checker/tests/ainfer-testchecker/non-annotated/OverriddenMethodsTest.java
M checker/tests/ainfer-testchecker/non-annotated/ParameterInferenceTest.java
M checker/tests/ainfer-testchecker/non-annotated/Planet.java
M checker/tests/ainfer-testchecker/non-annotated/PublicFieldTest.java
M checker/tests/ainfer-testchecker/non-annotated/Purity.java
M checker/tests/ainfer-testchecker/non-annotated/RequiresQualifierTest.java
M checker/tests/ainfer-testchecker/non-annotated/StringConcatenationTest.java
M checker/tests/ainfer-testchecker/non-annotated/TreatAsSibling1InferenceTest.java
M checker/tests/ainfer-testchecker/non-annotated/TwoMethodsSameName.java
M checker/tests/ainfer-testchecker/non-annotated/TypeVariablesTest3.java
M checker/tests/ainfer-testchecker/non-annotated/UsesAnonymous.java
M checker/tests/ainfer-testchecker/non-annotated/ValueCheck.java
M checker/tests/calledmethods-autovalue/Animal.java
M checker/tests/calledmethods-autovalue/AnimalNoSet.java
M checker/tests/calledmethods-autovalue/BuilderGetter.java
M checker/tests/calledmethods-autovalue/FooParcelable.java
M checker/tests/calledmethods-autovalue/GetAndIs.java
M checker/tests/calledmethods-autovalue/GetAnimal.java
M checker/tests/calledmethods-autovalue/GuavaImmutable.java
M checker/tests/calledmethods-autovalue/Inheritance.java
M checker/tests/calledmethods-autovalue/NonBuildName.java
M checker/tests/calledmethods-autovalue/SetInsideBuild.java
M checker/tests/calledmethods-autovalue/SetInsideBuildWithCM.java
M checker/tests/calledmethods-autovalue/Validation.java
M checker/tests/calledmethods-disablereturnsreceiver/SimpleFluentInference.java
M checker/tests/calledmethods-lombok/BuilderTest.java
M checker/tests/calledmethods-lombok/CheckerFrameworkBuilder.java
M checker/tests/calledmethods-lombok/LombokBuilderExample.java
M checker/tests/calledmethods-lombok/LombokNoSingularButClearMethodExample.java
M checker/tests/calledmethods-lombok/LombokToBuilderExample.java
M checker/tests/calledmethods-lombok/OldInherited.java
M checker/tests/calledmethods-nodelombok/UnsoundnessTest.java
M checker/tests/calledmethods-usevaluechecker/Cve.java
M checker/tests/calledmethods-usevaluechecker/Cve2.java
M checker/tests/calledmethods-usevaluechecker/GenerateDataKeyRequestExamples.java
M checker/tests/calledmethods-usevaluechecker/MorePreciseFilters.java
M checker/tests/calledmethods-usevaluechecker/SpecialNames.java
M checker/tests/calledmethods/CmPredicate.java
M checker/tests/calledmethods/EnsuresCalledMethodsIfRepeatable.java
M checker/tests/calledmethods/EnsuresCalledMethodsIfSubclass.java
M checker/tests/calledmethods/EnsuresCalledMethodsOnExceptionRepeatable.java
M checker/tests/calledmethods/EnsuresCalledMethodsOnExceptionSubclass.java
M checker/tests/calledmethods/EnsuresCalledMethodsOnExceptionTest.java
M checker/tests/calledmethods/EnsuresCalledMethodsRepeatable.java
M checker/tests/calledmethods/EnsuresCalledMethodsSubclass.java
M checker/tests/calledmethods/EnsuresCalledMethodsThisLub.java
M checker/tests/calledmethods/EnsuresCalledMethodsVarargsSimple.java
M checker/tests/calledmethods/ExceptionalPath2.java
M checker/tests/calledmethods/Not.java
M checker/tests/calledmethods/Postconditions.java
M checker/tests/calledmethods/RequiresCalledMethodsRepeatable.java
M checker/tests/calledmethods/RequiresCalledMethodsSubclass.java
M checker/tests/calledmethods/RequiresCalledMethodsTest.java
M checker/tests/calledmethods/SimpleFluentInference.java
M checker/tests/calledmethods/SimpleInference.java
M checker/tests/calledmethods/SimpleInferenceMerge.java
M checker/tests/calledmethods/Subtyping.java
M checker/tests/calledmethods/UnparsablePredicate.java
M checker/tests/calledmethods/Xor.java
M checker/tests/command-line/issue618/TwoCheckers.java
M checker/tests/disbaruse-records/DisbarredClass.java
M checker/tests/disbaruse-records/DisbarredRecord.java
M checker/tests/disbaruse-records/DisbarredRecordByStubs.java
M checker/tests/disbaruse-records/DisbarredRecordByStubs2.java
M checker/tests/fenum/CastsFenum.java
M checker/tests/fenum/CatchFenumUnqualified.java
M checker/tests/fenum/TestFlow.java
M checker/tests/fenum/TestInstance.java
M checker/tests/fenum/TestPrimitive.java
M checker/tests/fenum/TestStatic.java
M checker/tests/fenum/TestSwitch.java
M checker/tests/fenum/UpperBoundsInByteCode.java
M checker/tests/fenumswing/FlowBreak.java
M checker/tests/fenumswing/IdentityArrayListTest.java
M checker/tests/fenumswing/PolyTest.java
M checker/tests/fenumswing/SwingTest.java
M checker/tests/formatter-unchecked-defaults/TestUncheckedByteCode.java
M checker/tests/formatter/ConversionBasic.java
M checker/tests/formatter/FlowFormatter.java
M checker/tests/formatter/FormatBasic.java
M checker/tests/formatter/FormatIndexing.java
M checker/tests/formatter/FormatMethodAndFormat.java
M checker/tests/formatter/FormatMethodInvocation.java
M checker/tests/formatter/FormatNullCategory.java
M checker/tests/formatter/InvalidFormatMethod.java
M checker/tests/formatter/ManualExampleFormatter.java
M checker/tests/formatter/VarargsFormatter.java
M checker/tests/guieffect/AnonInnerDefaults.java
M checker/tests/guieffect/AssignmentTests.java
M checker/tests/guieffect/BadUIOverrideChild.java
M checker/tests/guieffect/FooConflict.java
M checker/tests/guieffect/GenericSubTask.java
M checker/tests/guieffect/Java8Lambdas.java
M checker/tests/guieffect/Specialization.java
M checker/tests/guieffect/TestProgram.java
M checker/tests/guieffect/ThrowCatchTest.java
M checker/tests/guieffect/TransitiveInheritance.java
M checker/tests/guieffect/UIChild.java
M checker/tests/i18n-formatter-unchecked-defaults/TestUncheckedByteCode.java
M checker/tests/i18n-formatter/ConversionCategoryTest.java
M checker/tests/i18n-formatter/HasFormat.java
M checker/tests/i18n-formatter/I18nFormat.java
M checker/tests/i18n-formatter/I18nFormatForTest.java
M checker/tests/i18n-formatter/ManualExampleI18nFormatter.java
M checker/tests/i18n-unchecked-defaults/TestUncheckedByteCode.java
M checker/tests/i18n/I18nCollectorsToList.java
M checker/tests/i18n/LocalizedMessage.java
M checker/tests/index-listindexing/GrowOnlyIteratorTest.java
M checker/tests/index-listindexing/GrowOnlyJdk21Test.java
M checker/tests/index-listindexing/GrowOnlyJdkTest.java
M checker/tests/index-listindexing/GrowOnlyPolymorphicTest.java
M checker/tests/index-listindexing/GrowOnlySupertypeTest.java
M checker/tests/index-listindexing/GrowOnlyViewTest.java
M checker/tests/index-listindexing/GrowShrinkHierarchyTest.java
M checker/tests/index/ArrayAsList.java
M checker/tests/index/ArrayAssignmentSameLen.java
M checker/tests/index/ArrayCreationChecks.java
M checker/tests/index/ArrayIntro.java
M checker/tests/index/ArraysSort.java
M checker/tests/index/BasicSubsequence.java
M checker/tests/index/BinomialTest.java
M checker/tests/index/BitSetLowerBound.java
M checker/tests/index/Boilerplate.java
M checker/tests/index/CharSequenceTest.java
M checker/tests/index/CombineFacts.java
M checker/tests/index/ConstantArrays.java
M checker/tests/index/ConstantsIndex.java
M checker/tests/index/CustomContractWithArgs.java
M checker/tests/index/DefaultingForEach.java
M checker/tests/index/Dimension.java
M checker/tests/index/EnumValues.java
M checker/tests/index/EqualToTransfer.java
M checker/tests/index/ErrorMessageCheck.java
M checker/tests/index/Errors.java
M checker/tests/index/ExampleUsage.java
M checker/tests/index/GreaterThanOrEqualTransfer.java
M checker/tests/index/GreaterThanTransfer.java
M checker/tests/index/Index166.java
M checker/tests/index/Index167.java
M checker/tests/index/Index176.java
M checker/tests/index/IndexForAverage.java
M checker/tests/index/IndexForTest.java
M checker/tests/index/IndexForTestLBC.java
M checker/tests/index/IndexForVarargs.java
M checker/tests/index/IndexOrLowTests.java
M checker/tests/index/IntroAdd.java
M checker/tests/index/IntroAnd.java
M checker/tests/index/IntroRules.java
M checker/tests/index/IntroShift.java
M checker/tests/index/IntroSub.java
M checker/tests/index/InvalidSubsequence.java
M checker/tests/index/Issue1984.java
M checker/tests/index/Issue2029.java
M checker/tests/index/Issue2334.java
M checker/tests/index/Issue2420.java
M checker/tests/index/Issue2452.java
M checker/tests/index/Issue3224.java
M checker/tests/index/Issue58Minimization.java
M checker/tests/index/LBCSubtyping.java
M checker/tests/index/LTLDivide.java
M checker/tests/index/LTLengthOfPostcondition.java
M checker/tests/index/LengthOfArrayMinusOne.java
M checker/tests/index/LengthOfTest.java
M checker/tests/index/LessThanBug.java
M checker/tests/index/LessThanCustomCollection.java
M checker/tests/index/LessThanFloat.java
M checker/tests/index/LessThanFloatLiteral.java
M checker/tests/index/LessThanLen.java
M checker/tests/index/LessThanLenBug.java
M checker/tests/index/LessThanOrEqualTransfer.java
M checker/tests/index/LessThanTransferTest.java
M checker/tests/index/LessThanValue.java
M checker/tests/index/ListAdd.java
M checker/tests/index/ListAddAll.java
M checker/tests/index/ListGet.java
M checker/tests/index/ListIterator.java
M checker/tests/index/ListLowerBound.java
M checker/tests/index/ListRemove.java
M checker/tests/index/ListSet.java
M checker/tests/index/ListSupport.java
M checker/tests/index/ListSupportLBC.java
M checker/tests/index/ListSupportML.java
M checker/tests/index/Loops.java
M checker/tests/index/LubIndex.java
M checker/tests/index/MethodOverrides.java
M checker/tests/index/MinLenFieldInvar.java
M checker/tests/index/MinLenFromPositive.java
M checker/tests/index/MinLenIndexFor.java
M checker/tests/index/MinLenOneAndLength.java
M checker/tests/index/MinMaxIndex.java
M checker/tests/index/NegativeArray.java
M checker/tests/index/NotEnoughOffsets.java
M checker/tests/index/NotEqualTransfer.java
M checker/tests/index/OffsetAnnotations.java
M checker/tests/index/OffsetExample.java
M checker/tests/index/OffsetsAndConstants.java
M checker/tests/index/OneOrTwo.java
M checker/tests/index/OnlyCheckSubsequenceWhenAssigningToArray.java
M checker/tests/index/OuterThisJavaExpression.java
M checker/tests/index/ParserOffsetTest.java
M checker/tests/index/PlusPlusBug.java
M checker/tests/index/Polymorphic.java
M checker/tests/index/Polymorphic2.java
M checker/tests/index/Polymorphic3.java
M checker/tests/index/PreAndPostDec.java
M checker/tests/index/RandomTest.java
M checker/tests/index/RandomTestLBC.java
M checker/tests/index/RangeIndex.java
M checker/tests/index/Reassignment.java
M checker/tests/index/RefineEq.java
M checker/tests/index/RefineGT.java
M checker/tests/index/RefineGTE.java
M checker/tests/index/RefineLT.java
M checker/tests/index/RefineLTE.java
M checker/tests/index/RefineLTE2.java
M checker/tests/index/RefineNeq.java
M checker/tests/index/RefineNeqLength.java
M checker/tests/index/RefineSubtrahend.java
M checker/tests/index/RefinementEq.java
M checker/tests/index/RefinementGT.java
M checker/tests/index/RefinementGTE.java
M checker/tests/index/RefinementLT.java
M checker/tests/index/RefinementLTE.java
M checker/tests/index/RefinementNEq.java
M checker/tests/index/ReflectArray.java
M checker/tests/index/RegexMatcher.java
M checker/tests/index/RepeatLTLengthOfWithError.java
M checker/tests/index/SLSubtyping.java
M checker/tests/index/SameLenFormalParameter2.java
M checker/tests/index/SameLenIrrelevant.java
M checker/tests/index/SameLenLUBStrangeness.java
M checker/tests/index/SearchIndexTests.java
M checker/tests/index/ShiftRight.java
M checker/tests/index/ShiftRightAverage.java
M checker/tests/index/SimpleTransferAdd.java
M checker/tests/index/SimpleTransferSub.java
M checker/tests/index/SkipBufferedReader.java
M checker/tests/index/StartsEndsWith.java
M checker/tests/index/StringBuilderOffset.java
M checker/tests/index/StringIndexOf.java
M checker/tests/index/StringLength.java
M checker/tests/index/StringMethods.java
M checker/tests/index/StringOffsetTest.java
M checker/tests/index/TransferAdd.java
M checker/tests/index/TransferDivide.java
M checker/tests/index/TransferSub.java
M checker/tests/index/TransferTimes.java
M checker/tests/index/UBLiteralFlow.java
M checker/tests/index/UBPoly.java
M checker/tests/index/UBSubtyping.java
M checker/tests/index/UncheckedMinLen.java
M checker/tests/index/ViewpointAdaptTest.java
M checker/tests/index/ZeroMinLen.java
M checker/tests/initialization/CastInit.java
M checker/tests/initialization/Commitment.java
M checker/tests/initialization/Commitment2.java
M checker/tests/initialization/CommitmentFlow.java
M checker/tests/initialization/FieldSuppressWarnings.java
M checker/tests/initialization/FlowFbc.java
M checker/tests/initialization/Issue556a.java
M checker/tests/initialization/Issue556b.java
M checker/tests/initialization/Issue574.java
M checker/tests/initialization/Issue905.java
M checker/tests/initialization/NotOnlyInitializedTest.java
M checker/tests/initialization/ReceiverSuperInvocation.java
M checker/tests/initialization/SimpleFbc.java
M checker/tests/initialization/Subtyping.java
M checker/tests/initialization/TryFinally.java
M checker/tests/initialization/TryFinallyBreak.java
M checker/tests/initialization/TryFinallyContinue.java
M checker/tests/initialization/TypeFrames.java
M checker/tests/initialization/TypeFrames2.java
M checker/tests/interning/Arrays.java
M checker/tests/interning/Autoboxing.java
M checker/tests/interning/Comparison.java
M checker/tests/interning/CompileTimeConstants2.java
M checker/tests/interning/ComplexComparison.java
M checker/tests/interning/ConstantsInterning.java
M checker/tests/interning/Creation.java
M checker/tests/interning/Distinct.java
M checker/tests/interning/ExpressionsInterning.java
M checker/tests/interning/FieldsImplicits.java
M checker/tests/interning/FindDistinctTest.java
M checker/tests/interning/Generics.java
M checker/tests/interning/HeuristicsTest.java
M checker/tests/interning/InternedClass.java
M checker/tests/interning/InternedClass2.java
M checker/tests/interning/Issue2809.java
M checker/tests/interning/MethodInvocation.java
M checker/tests/interning/Options.java
M checker/tests/interning/OverrideInterned.java
M checker/tests/interning/Polymorphism.java
M checker/tests/interning/Raw3.java
M checker/tests/interning/SequenceAndIndices.java
M checker/tests/interning/StringIntern.java
M checker/tests/interning/UsesObjectEqualsTest.java
M checker/tests/lock-records/LockRecord.java
M checker/tests/lock-safedefaults/BasicLockTest.java
M checker/tests/lock/ChapterExamples.java
M checker/tests/lock/ClassLiterals.java
M checker/tests/lock/ConstructorReturnNPE.java
M checker/tests/lock/ConstructorsLock.java
M checker/tests/lock/Fields.java
M checker/tests/lock/GuardSatisfiedTest.java
M checker/tests/lock/GuardedByLocalVariable.java
M checker/tests/lock/Issue152.java
M checker/tests/lock/Issue2163Lock.java
M checker/tests/lock/Issue524.java
M checker/tests/lock/Issue804.java
M checker/tests/lock/Issue805.java
M checker/tests/lock/ItselfExpressionCases.java
M checker/tests/lock/JCIPAnnotations.java
M checker/tests/lock/JavaExpressionsTest.java
M checker/tests/lock/LockEffectAnnotations.java
M checker/tests/lock/LockExpressionIsFinal.java
M checker/tests/lock/Methods.java
M checker/tests/lock/Overriding.java
M checker/tests/lock/PrimitivesLocking.java
M checker/tests/lock/SimpleLockTest.java
M checker/tests/lock/Strings.java
M checker/tests/lock/TestConcurrentSemantics1.java
M checker/tests/lock/TestConcurrentSemantics2.java
M checker/tests/lock/TestTreeKinds.java
M checker/tests/lock/ThisPostCondition.java
M checker/tests/lock/ThisSuper.java
M checker/tests/lock/ViewpointAdaptation.java
M checker/tests/lock/ViewpointAdaptation2.java
M checker/tests/lock/ViewpointAdaptation3.java
M checker/tests/mustcall-nolightweightownership/BorrowOnReturn.java
M checker/tests/mustcall/BorrowOnReturn.java
M checker/tests/mustcall/CreatesMustCallForSimple.java
M checker/tests/mustcall/FileDescriptors.java
M checker/tests/mustcall/FunctionalInterfaces.java
M checker/tests/mustcall/LogTheSocket.java
M checker/tests/mustcall/NonOwningPolyInteraction.java
M checker/tests/mustcall/NotInheritableMustCallOnClassError.java
M checker/tests/mustcall/NullableTransfer.java
M checker/tests/mustcall/OwningMustCallNothing.java
M checker/tests/mustcall/OwningParams.java
M checker/tests/mustcall/PolyMustCallDifferentNames.java
M checker/tests/mustcall/PolyTests.java
M checker/tests/mustcall/SimpleSocketField.java
M checker/tests/mustcall/SocketBufferedReader.java
M checker/tests/mustcall/Subtype0.java
M checker/tests/mustcall/Subtyping.java
M checker/tests/mustcall/TryWithResourcesSimple.java
M checker/tests/nonempty/Comparisons.java
M checker/tests/nonempty/EnsuresNonEmptyIfTest.java
M checker/tests/nonempty/EnsuresNonEmptyTest.java
M checker/tests/nonempty/ImmutableListOperations.java
M checker/tests/nonempty/ImmutableMapOperations.java
M checker/tests/nonempty/ImmutableSetOperations.java
M checker/tests/nonempty/IndexOfNonNegative.java
M checker/tests/nonempty/Issue6407.java
M checker/tests/nonempty/IteratorOperations.java
M checker/tests/nonempty/ListOperations.java
M checker/tests/nonempty/MapOperations.java
M checker/tests/nonempty/NonEmptyHierarchyTest.java
M checker/tests/nonempty/RequiresNonEmptyTest.java
M checker/tests/nonempty/SetOperations.java
M checker/tests/nonempty/SizeInIsEmpty.java
M checker/tests/nonempty/Streams.java
M checker/tests/nonempty/UnmodifiableTest.java
M checker/tests/nullness-asserts/NonNullMapValue.java
M checker/tests/nullness-asserts/TestAssumeAssertionsAreEnabled.java
M checker/tests/nullness-assumeassertions/TestAssumeAssertionsAreDisabled.java
M checker/tests/nullness-assumekeyfor/AssumeKeyForTest.java
M checker/tests/nullness-checkcastelementtype/Issue1315.java
M checker/tests/nullness-concurrent-semantics/Issue350.java
M checker/tests/nullness-extra/issue309/Expected.txt
M checker/tests/nullness-extra/issue348/Expected.txt
M checker/tests/nullness-extra/issue594/Issue594.java
M checker/tests/nullness-extra/shorthand/NullnessOnlyExpected.txt
M checker/tests/nullness-extra/shorthand/NullnessRegexExpected.txt
M checker/tests/nullness-javadoc/JavadocJdkAnnotations.java
M checker/tests/nullness-nodelombok/UnsoundnessTest.java
M checker/tests/nullness-permitClearProperty/PermitClearProperty.java
M checker/tests/nullness-records/BasicRecord.java
M checker/tests/nullness-records/BasicRecordCanon.java
M checker/tests/nullness-records/BasicRecordNullable.java
M checker/tests/nullness-records/DefaultQualRecord.java
M checker/tests/nullness-records/GenericPair.java
M checker/tests/nullness-records/Issue5200.java
M checker/tests/nullness-records/LocalRecords.java
M checker/tests/nullness-records/NestedRecordTest.java
M checker/tests/nullness-records/NormalizingRecord.java
M checker/tests/nullness-records/RecordPurity.java
M checker/tests/nullness-records/RecordPurityGeneric.java
M checker/tests/nullness-records/RecordPurityOverride.java
M checker/tests/nullness-safedefaultsbytecode/BytecodeDefaultsTest.java
M checker/tests/nullness-safedefaultssourcecode/BasicSafeDefaultsTest.java
M checker/tests/nullness-skipdefs/SkipDefs1.java
M checker/tests/nullness-skipdefs/SkipDefs2.java
M checker/tests/nullness-skipdirs/skip/SkipDirs1.java
M checker/tests/nullness-skipuses/SkipUses1.java
M checker/tests/nullness-skipuses/SkipUses2.java
M checker/tests/nullness-stubfile/Issue4598.java
M checker/tests/nullness-stubfile/NullnessStubfileMerge.java
M checker/tests/nullness-warnredundantannotations/RedundantAnnoWithDefaultQualifier.java
M checker/tests/nullness-warnredundantannotations/RedundantAnnotation.java
M checker/tests/nullness/AliasedAnnotations.java
M checker/tests/nullness/Aliasing.java
M checker/tests/nullness/AnnotatedSupertype.java
M checker/tests/nullness/AnonymousSkipDefs.java
M checker/tests/nullness/ArrayArgs.java
M checker/tests/nullness/ArrayCreationNullable.java
M checker/tests/nullness/ArrayIndex.java
M checker/tests/nullness/ArrayLazyNN.java
M checker/tests/nullness/ArrayRefs.java
M checker/tests/nullness/AssertAfter.java
M checker/tests/nullness/AssertAfter2.java
M checker/tests/nullness/AssertAfterChecked.java
M checker/tests/nullness/AssertIfChecked.java
M checker/tests/nullness/AssertIfClient.java
M checker/tests/nullness/AssertIfFalseTest.java
M checker/tests/nullness/AssertNonNullIfNonNullTest.java
M checker/tests/nullness/AssertNonNullTest.java
M checker/tests/nullness/AssertNullable.java
M checker/tests/nullness/AssertParameterNullness.java
M checker/tests/nullness/AssertTwice.java
M checker/tests/nullness/AssertWithStatic.java
M checker/tests/nullness/Asserts.java
M checker/tests/nullness/AssignmentDuringInitialization.java
M checker/tests/nullness/BoxingNullness.java
M checker/tests/nullness/Bug102.java
M checker/tests/nullness/CallSuper.java
M checker/tests/nullness/CastTypeVariable.java
M checker/tests/nullness/CastsNullness.java
M checker/tests/nullness/ChainAssignment.java
M checker/tests/nullness/ConditionalNullness.java
M checker/tests/nullness/ConstructorPostcondition.java
M checker/tests/nullness/ControlFlow.java
M checker/tests/nullness/CopyOfArray.java
M checker/tests/nullness/DefaultAnnotation.java
M checker/tests/nullness/DefaultLoops.java
M checker/tests/nullness/DefaultingForEach.java
M checker/tests/nullness/EnsuresNonNullIfTest2.java
M checker/tests/nullness/EnsuresNonNullIfTestSimple.java
M checker/tests/nullness/EnumFieldUninit.java
M checker/tests/nullness/EnumsNullness.java
M checker/tests/nullness/EqualToNullness.java
M checker/tests/nullness/ExceptionParam.java
M checker/tests/nullness/Exceptions.java
M checker/tests/nullness/ExplictTypeVarAnnos.java
M checker/tests/nullness/ExpressionsNullness.java
M checker/tests/nullness/FieldInit.java
M checker/tests/nullness/FinalFields.java
M checker/tests/nullness/FinalVar2.java
M checker/tests/nullness/FindBugs.java
M checker/tests/nullness/FlowCompound.java
M checker/tests/nullness/FlowConditions.java
M checker/tests/nullness/FlowConstructor.java
M checker/tests/nullness/FlowConstructor2.java
M checker/tests/nullness/FlowField.java
M checker/tests/nullness/FlowInitialization.java
M checker/tests/nullness/FlowLoop.java
M checker/tests/nullness/FlowNegation.java
M checker/tests/nullness/FlowNonThis.java
M checker/tests/nullness/FlowNullness.java
M checker/tests/nullness/FlowSelf.java
M checker/tests/nullness/GetConstantStr.java
M checker/tests/nullness/GetInterfacesPurity.java
M checker/tests/nullness/GetProperty.java
M checker/tests/nullness/GetRefArg.java
M checker/tests/nullness/InferNullType.java
M checker/tests/nullness/InferTypeArgsConditionalExpression.java
M checker/tests/nullness/Initializer.java
M checker/tests/nullness/InvariantTypes.java
M checker/tests/nullness/IsEmptyPoll.java
M checker/tests/nullness/Issue1046Java7.java
M checker/tests/nullness/Issue1096.java
M checker/tests/nullness/Issue1102.java
M checker/tests/nullness/Issue1522.java
M checker/tests/nullness/Issue1590.java
M checker/tests/nullness/Issue1590a.java
M checker/tests/nullness/Issue160.java
M checker/tests/nullness/Issue1847.java
M checker/tests/nullness/Issue1847B.java
M checker/tests/nullness/Issue1922.java
M checker/tests/nullness/Issue1981.java
M checker/tests/nullness/Issue2013.java
M checker/tests/nullness/Issue2048.java
M checker/tests/nullness/Issue2247.java
M checker/tests/nullness/Issue2407.java
M checker/tests/nullness/Issue2432.java
M checker/tests/nullness/Issue2470.java
M checker/tests/nullness/Issue2564.java
M checker/tests/nullness/Issue2587.java
M checker/tests/nullness/Issue261.java
M checker/tests/nullness/Issue2619b.java
M checker/tests/nullness/Issue273.java
M checker/tests/nullness/Issue2865.java
M checker/tests/nullness/Issue2888.java
M checker/tests/nullness/Issue289.java
M checker/tests/nullness/Issue293.java
M checker/tests/nullness/Issue296.java
M checker/tests/nullness/Issue3020.java
M checker/tests/nullness/Issue3033.java
M checker/tests/nullness/Issue306.java
M checker/tests/nullness/Issue3150.java
M checker/tests/nullness/Issue3349.java
M checker/tests/nullness/Issue3443.java
M checker/tests/nullness/Issue345.java
M checker/tests/nullness/Issue354.java
M checker/tests/nullness/Issue355.java
M checker/tests/nullness/Issue3614.java
M checker/tests/nullness/Issue3631.java
M checker/tests/nullness/Issue3850.java
M checker/tests/nullness/Issue391.java
M checker/tests/nullness/Issue3929.java
M checker/tests/nullness/Issue3970.java
M checker/tests/nullness/Issue400.java
M checker/tests/nullness/Issue408.java
M checker/tests/nullness/Issue415.java
M checker/tests/nullness/Issue4853Nullness.java
M checker/tests/nullness/Issue4923.java
M checker/tests/nullness/Issue577.java
M checker/tests/nullness/Issue579Error.java
M checker/tests/nullness/Issue602.java
M checker/tests/nullness/Issue6393.java
M checker/tests/nullness/Issue67.java
M checker/tests/nullness/Issue6750.java
M checker/tests/nullness/Issue6804.java
M checker/tests/nullness/Issue7229.java
M checker/tests/nullness/Issue7341.java
M checker/tests/nullness/Issue738.java
M checker/tests/nullness/Issue752.java
M checker/tests/nullness/Issue759.java
M checker/tests/nullness/Issue764.java
M checker/tests/nullness/Issue829.java
M checker/tests/nullness/Issue868.java
M checker/tests/nullness/Issue906.java
M checker/tests/nullness/Issue986.java
M checker/tests/nullness/IteratorEarlyExit.java
M checker/tests/nullness/JavaCopExplosion.java
M checker/tests/nullness/JavaCopFlow.java
M checker/tests/nullness/JavaExpressionParsingBug.java
M checker/tests/nullness/KeyForChecked.java
M checker/tests/nullness/KeyForFlow.java
M checker/tests/nullness/KeyForLocalVariable.java
M checker/tests/nullness/KeyForLub.java
M checker/tests/nullness/KeyForMultiple.java
M checker/tests/nullness/KeyForPostcondition.java
M checker/tests/nullness/KeyForShadowing.java
M checker/tests/nullness/KeyForSubtyping.java
M checker/tests/nullness/KeyForValidation.java
M checker/tests/nullness/KeyFors.java
M checker/tests/nullness/Lazy.java
M checker/tests/nullness/LazyInitialization.java
M checker/tests/nullness/Listener.java
M checker/tests/nullness/LogicOperations.java
M checker/tests/nullness/MapGetNullable.java
M checker/tests/nullness/MapMerge.java
M checker/tests/nullness/Marino.java
M checker/tests/nullness/MethodInvocation.java
M checker/tests/nullness/MethodOverloadingContractsKeyFor.java
M checker/tests/nullness/MethodTypeVars4.java
M checker/tests/nullness/MisuseProperties.java
M checker/tests/nullness/MultiConstructorInit.java
M checker/tests/nullness/MultipleErrors.java
M checker/tests/nullness/MyException.java
M checker/tests/nullness/NNOEMoreTests.java
M checker/tests/nullness/NNOEStaticFields.java
M checker/tests/nullness/NegatingConditionalNullness.java
M checker/tests/nullness/NewNullable.java
M checker/tests/nullness/NonEmptyCollection.java
M checker/tests/nullness/NullableConstructor.java
M checker/tests/nullness/NullnessFieldInvar.java
M checker/tests/nullness/NullnessIssue4996.java
M checker/tests/nullness/ObjectArrayParam.java
M checker/tests/nullness/ObjectListParam.java
M checker/tests/nullness/ObjectsRequireNonNull.java
M checker/tests/nullness/ObjectsRequireNonNullElse.java
M checker/tests/nullness/OverrideANNA.java
M checker/tests/nullness/OverrideANNA2.java
M checker/tests/nullness/OverrideANNA3.java
M checker/tests/nullness/OverrideNNOE.java
M checker/tests/nullness/OverrideNNOE2.java
M checker/tests/nullness/ParameterExpression.java
M checker/tests/nullness/Polymorphism.java
M checker/tests/nullness/PolymorphismArrays.java
M checker/tests/nullness/PostconditionBug.java
M checker/tests/nullness/PreventClearProperty.java
M checker/tests/nullness/PrivateMethodUnknownInit.java
M checker/tests/nullness/PureTest.java
M checker/tests/nullness/Raw2.java
M checker/tests/nullness/RawField.java
M checker/tests/nullness/RawMethodInvocation.java
M checker/tests/nullness/RawSuper.java
M checker/tests/nullness/RawTypesBounded.java
M checker/tests/nullness/RawTypesUses.java
M checker/tests/nullness/ReadyReadLine.java
M checker/tests/nullness/ReceiverAnnotation.java
M checker/tests/nullness/ReferencesDefaults.java
M checker/tests/nullness/RefineOverride.java
M checker/tests/nullness/RepeatEnsuresKeyForWithError.java
M checker/tests/nullness/RepeatEnsuresNonNullWithError.java
M checker/tests/nullness/RepeatedRequiresNonNull.java
M checker/tests/nullness/RequiresNonNullTest.java
M checker/tests/nullness/ScopingConstruct.java
M checker/tests/nullness/SelfDependentType.java
M checker/tests/nullness/SetIteratorTest.java
M checker/tests/nullness/Simple2.java
M checker/tests/nullness/StaticInitializer.java
M checker/tests/nullness/StaticInitializer2.java
M checker/tests/nullness/SuperCall.java
M checker/tests/nullness/SuperConstructorInit.java
M checker/tests/nullness/SuppressWarningsPartialKeys.java
M checker/tests/nullness/SwitchTest.java
M checker/tests/nullness/Synchronization.java
M checker/tests/nullness/TestAssignment.java
M checker/tests/nullness/TestPolyNull.java
M checker/tests/nullness/ThisNodeTest.java
M checker/tests/nullness/ThreadLocalTest.java
M checker/tests/nullness/ThreadLocalTest2.java
M checker/tests/nullness/Throwing.java
M checker/tests/nullness/ToArrayDiagnostics.java
M checker/tests/nullness/ToArrayNullness.java
M checker/tests/nullness/TryWithResources.java
M checker/tests/nullness/TwoStaticInitBlocks.java
M checker/tests/nullness/TypeVarPrimitivesNullness.java
M checker/tests/nullness/UnannoPrimitives.java
M checker/tests/nullness/UnboxConditions.java
M checker/tests/nullness/Unboxing.java
M checker/tests/nullness/UnusedNullness.java
M checker/tests/nullness/ValidType.java
M checker/tests/nullness/VarInfoName.java
M checker/tests/nullness/VarargsNullness.java
M checker/tests/nullness/VarargsNullness2.java
M checker/tests/nullness/VoidUse.java
M checker/tests/nullness/WeakHasherMapNonNull.java
M checker/tests/nullness/WeakHasherMapNullable.java
M checker/tests/nullness/Wellformed.java
M checker/tests/nullness/WhileTest.java
M checker/tests/nullness/WildcardGLB.java
M checker/tests/nullness/WildcardSubtype.java
M checker/tests/nullness/WildcardSubtype2.java
M checker/tests/nullness/flow/EisopIssue300.java
M checker/tests/nullness/flow/EisopIssue300B.java
M checker/tests/nullness/flow/EisopIssue300C.java
M checker/tests/nullness/flow/EisopIssue553.java
M checker/tests/nullness/flow/Issue1214.java
M checker/tests/nullness/flow/Issue3267.java
M checker/tests/nullness/flow/Issue3275.java
M checker/tests/nullness/flow/LambdaFlow.java
M checker/tests/nullness/flow/PureAndFlow.java
M checker/tests/nullness/flow/PurityError.java
M checker/tests/nullness/flow/TestNullnessUtil.java
M checker/tests/nullness/flow/TestOpt.java
M checker/tests/nullness/generics/AnnotatedGenerics.java
M checker/tests/nullness/generics/AnnotatedGenerics2.java
M checker/tests/nullness/generics/AnnotatedGenerics3.java
M checker/tests/nullness/generics/AnnotatedTypeParams.java
M checker/tests/nullness/generics/AnnotatedTypeParams2.java
M checker/tests/nullness/generics/AnonymousClass.java
M checker/tests/nullness/generics/BoundedWildcardTest.java
M checker/tests/nullness/generics/CapturedWildcards.java
M checker/tests/nullness/generics/CollectionsAnnotations.java
M checker/tests/nullness/generics/CollectionsAnnotationsMin.java
M checker/tests/nullness/generics/GenericArgs.java
M checker/tests/nullness/generics/GenericArgs2.java
M checker/tests/nullness/generics/GenericBoundsExplicit.java
M checker/tests/nullness/generics/GenericReturnField.java
M checker/tests/nullness/generics/GenericsBounds1.java
M checker/tests/nullness/generics/GenericsBounds2.java
M checker/tests/nullness/generics/GenericsBounds3.java
M checker/tests/nullness/generics/GenericsBounds4.java
M checker/tests/nullness/generics/GenericsBounds5.java
M checker/tests/nullness/generics/GenericsExample.java
M checker/tests/nullness/generics/GenericsExampleMin.java
M checker/tests/nullness/generics/Issue134.java
M checker/tests/nullness/generics/Issue1838.java
M checker/tests/nullness/generics/Issue1838Min.java
M checker/tests/nullness/generics/Issue240.java
M checker/tests/nullness/generics/Issue269.java
M checker/tests/nullness/generics/Issue270.java
M checker/tests/nullness/generics/Issue282Min.java
M checker/tests/nullness/generics/Issue314.java
M checker/tests/nullness/generics/Issue319.java
M checker/tests/nullness/generics/Issue329.java
M checker/tests/nullness/generics/Issue337.java
M checker/tests/nullness/generics/Issue5006.java
M checker/tests/nullness/generics/Issue783c.java
M checker/tests/nullness/generics/Issue849.java
M checker/tests/nullness/generics/MethodTypeVars.java
M checker/tests/nullness/generics/MethodTypeVars5.java
M checker/tests/nullness/generics/MethodTypeVars6.java
M checker/tests/nullness/generics/MethodTypeVars7.java
M checker/tests/nullness/generics/MixTypeAndDeclAnno.java
M checker/tests/nullness/generics/MyMap.java
M checker/tests/nullness/generics/NullableGeneric.java
M checker/tests/nullness/generics/NullableLUB.java
M checker/tests/nullness/generics/NullnessBound.java
M checker/tests/nullness/generics/RawTypesGenerics.java
M checker/tests/nullness/generics/TernaryGenerics.java
M checker/tests/nullness/generics/WellformedBounds.java
M checker/tests/nullness/generics/WildcardAnnos.java
M checker/tests/nullness/generics/WildcardOverride.java
M checker/tests/nullness/generics/WildcardSubtyping.java
M checker/tests/nullness/generics/WildcardSubtyping2.java
M checker/tests/nullness/generics/WildcardSuper.java
M checker/tests/nullness/init/AnonymousInit.java
M checker/tests/nullness/init/InstanceOf.java
M checker/tests/nullness/init/Issue1044.java
M checker/tests/nullness/init/Issue1120.java
M checker/tests/nullness/init/Issue1347.java
M checker/tests/nullness/init/Issue3407.java
M checker/tests/nullness/init/Issue408Init.java
M checker/tests/nullness/init/Issue409.java
M checker/tests/nullness/init/Issue779.java
M checker/tests/nullness/init/Issue904.java
M checker/tests/nullness/init/RawMethodInvocation.java
M checker/tests/nullness/init/RawTypesInit.java
M checker/tests/nullness/init/Uninit.java
M checker/tests/nullness/init/Uninit10.java
M checker/tests/nullness/init/Uninit11.java
M checker/tests/nullness/init/Uninit12.java
M checker/tests/nullness/init/Uninit4.java
M checker/tests/nullness/init/Uninit5.java
M checker/tests/nullness/java-unsound/Figure3.java
M checker/tests/nullness/java-unsound/Figure6.java
M checker/tests/nullness/java17/InferSwitchExpr.java
M checker/tests/nullness/java17/NullnessSwitchArrows.java
M checker/tests/nullness/java17/NullnessSwitchExpressionLambda.java
M checker/tests/nullness/java17/NullnessSwitchExpressions.java
M checker/tests/nullness/java17/NullnessSwitchStatementRules.java
M checker/tests/nullness/java17/SwitchExpressionInvariant.java
M checker/tests/nullness/java17/SwitchExpressionTypeArgInference.java
M checker/tests/nullness/java17/SwitchTestIssue5412.java
M checker/tests/nullness/java21/NullableSwitchSelector.java
M checker/tests/nullness/java21/SimpleCaseGuard.java
M checker/tests/nullness/java8/DefaultMethods.java
M checker/tests/nullness/java8/Issue1000.java
M checker/tests/nullness/java8/Issue1633.java
M checker/tests/nullness/java8/Issue579.java
M checker/tests/nullness/java8/UnionTypeBug.java
M checker/tests/nullness/java8/lambda/Dataflow.java
M checker/tests/nullness/java8/lambda/FinalLocalVariables.java
M checker/tests/nullness/java8/lambda/Issue572.java
M checker/tests/nullness/java8/lambda/LambdaInit.java
M checker/tests/nullness/java8/lambda/LambdaNullness.java
M checker/tests/nullness/java8/lambda/Parameters.java
M checker/tests/nullness/java8/lambda/ParametersInBody.java
M checker/tests/nullness/java8/lambda/ParametersInBodyGenerics.java
M checker/tests/nullness/java8/lambda/ReceiversLambda.java
M checker/tests/nullness/java8/lambda/RefinedLocalInLambda.java
M checker/tests/nullness/java8/lambda/Returns.java
M checker/tests/nullness/java8/lambda/Shadowed.java
M checker/tests/nullness/java8/methodref/AssignmentContextTest.java
M checker/tests/nullness/java8/methodref/ClassTypeArgInference.java
M checker/tests/nullness/java8/methodref/FromByteCode.java
M checker/tests/nullness/java8/methodref/GroundTargetTypeLub.java
M checker/tests/nullness/java8/methodref/MemberReferences.java
M checker/tests/nullness/java8/methodref/PolyNullness.java
M checker/tests/nullness/java8/methodref/Postconditions.java
M checker/tests/nullness/java8/methodref/ReceiversMethodref.java
M checker/tests/nullness/java8/methodref/TestGenFunc.java
M checker/tests/nullness/java8inference/Issue1084.java
M checker/tests/nullness/java8inference/Issue1630.java
M checker/tests/nullness/java8inference/Issue2235.java
M checker/tests/nullness/java8inference/Issue887.java
M checker/tests/nullness/jdkannotations/HashtableTest.java
M checker/tests/nullness/jdkannotations/Issue1142.java
M checker/tests/nullness/jdkannotations/TreeSetTest.java
M checker/tests/optional/DisjointRangeTest.java
M checker/tests/optional/EnsuresPresentIfTest.java
M checker/tests/optional/FlowSensitivity.java
M checker/tests/optional/IfPresentRefinement.java
M checker/tests/optional/JdkCheck.java
M checker/tests/optional/JdkCheck11.java
M checker/tests/optional/LambdaMethodCallValue.java
M checker/tests/optional/Marks1Partial.java
M checker/tests/optional/Marks2.java
M checker/tests/optional/Marks3a.java
M checker/tests/optional/Marks3aJdk11.java
M checker/tests/optional/Marks3b.java
M checker/tests/optional/Marks3bJdk11.java
M checker/tests/optional/Marks3c.java
M checker/tests/optional/Marks4.java
M checker/tests/optional/Marks5.java
M checker/tests/optional/Marks6.java
M checker/tests/optional/Marks7.java
M checker/tests/optional/NestedMethod.java
M checker/tests/optional/NestedOptionalTest.java
M checker/tests/optional/NonEmptyParentFieldTest.java
M checker/tests/optional/OptionalBoxed.java
M checker/tests/optional/OptionalClosureTest.java
M checker/tests/optional/OptionalMapMethodReference.java
M checker/tests/optional/OptionalRelyGuaranteeTest.java
M checker/tests/optional/OptionalVariableScopeTest.java
M checker/tests/optional/OuterClassTest.java
M checker/tests/optional/RequiresPresentTest.java
M checker/tests/optional/ShadowingMethodCalls.java
M checker/tests/optional/SubtypeCheck.java
M checker/tests/regex/AllowedTypes.java
M checker/tests/regex/Constructors.java
M checker/tests/regex/GenericsBoundsRange.java
M checker/tests/regex/GenericsEnclosing.java
M checker/tests/regex/GroupCounts.java
M checker/tests/regex/InvariantTypes.java
M checker/tests/regex/Issue3267.java
M checker/tests/regex/Issue3281.java
M checker/tests/regex/LubRegex.java
M checker/tests/regex/MatcherGroupCount.java
M checker/tests/regex/Nested.java
M checker/tests/regex/PartialRegex.java
M checker/tests/regex/RawTypeTest.java
M checker/tests/regex/RegexUtilClient.java
M checker/tests/regex/SimpleRegex.java
M checker/tests/regex/TestIsRegex.java
M checker/tests/regex/TestRegex.java
M checker/tests/regex/TypeParamSubtype.java
M checker/tests/regex/TypeVarMemberSelect.java
M checker/tests/regex_poly/PolyRegexTests.java
M checker/tests/resourceleak-customignoredexceptions/BasicTest.java
M checker/tests/resourceleak-nocreatesmustcallfor/ConnectingServerSockets.java
M checker/tests/resourceleak-nocreatesmustcallfor/ConnectingSockets.java
M checker/tests/resourceleak-nocreatesmustcallfor/CreatesMustCallForSimpler.java
M checker/tests/resourceleak-nocreatesmustcallfor/DifferentSWKeys.java
M checker/tests/resourceleak-nocreatesmustcallfor/SocketContainer.java
M checker/tests/resourceleak-nolightweightownership/ACOwning.java
M checker/tests/resourceleak-noresourcealiases/MustCallAliasExamples.java
M checker/tests/resourceleak-noresourcealiases/MustCallAliasPassthroughLocal.java
M checker/tests/resourceleak-permitinitializationleak/InstanceInitializer.java
M checker/tests/resourceleak-returns-receiver/ReturnsReceiverExamples.java
M checker/tests/resourceleak/ACExceptionalExitPointTest.java
M checker/tests/resourceleak/ACMethodInvocationTest.java
M checker/tests/resourceleak/ACOwning.java
M checker/tests/resourceleak/ACRegularExitPointTest.java
M checker/tests/resourceleak/ACSocketTest.java
M checker/tests/resourceleak/BindChannel.java
M checker/tests/resourceleak/COAnonymousClass.java
M checker/tests/resourceleak/COInSubtype.java
M checker/tests/resourceleak/CheckFields.java
M checker/tests/resourceleak/CloseableAndMore.java
M checker/tests/resourceleak/ConnectingServerSockets.java
M checker/tests/resourceleak/ConnectingSockets.java
M checker/tests/resourceleak/ConstructorAddsMustCall.java
M checker/tests/resourceleak/CreatesMustCallForIndirect.java
M checker/tests/resourceleak/CreatesMustCallForInnerClass.java
M checker/tests/resourceleak/CreatesMustCallForOverride.java
M checker/tests/resourceleak/CreatesMustCallForOverride2.java
M checker/tests/resourceleak/CreatesMustCallForRepeat.java
M checker/tests/resourceleak/CreatesMustCallForSimple.java
M checker/tests/resourceleak/CreatesMustCallForSimpler.java
M checker/tests/resourceleak/CreatesMustCallForTargets.java
M checker/tests/resourceleak/DifferentSWKeys.java
M checker/tests/resourceleak/Enclosing.java
M checker/tests/resourceleak/EnhancedFor.java
M checker/tests/resourceleak/FileDescriptorTest.java
M checker/tests/resourceleak/FilesTest.java
M checker/tests/resourceleak/FinallyThrowsException.java
M checker/tests/resourceleak/HBaseReport1.java
M checker/tests/resourceleak/IfBranch.java
M checker/tests/resourceleak/InputOutputStreams.java
M checker/tests/resourceleak/InstanceInitializer.java
M checker/tests/resourceleak/ManualMustCallEmptyOnConstructor.java
M checker/tests/resourceleak/MultipleMethodParamsMustCallAliasTest.java
M checker/tests/resourceleak/MustCallAliasExamples.java
M checker/tests/resourceleak/MustCallAliasImplWrong1.java
M checker/tests/resourceleak/MustCallAliasImplWrong2.java
M checker/tests/resourceleak/MustCallAliasLayeredStreams.java
M checker/tests/resourceleak/MustCallAliasNoAnnoOnConstructor.java
M checker/tests/resourceleak/MustCallAliasPassthroughChain.java
M checker/tests/resourceleak/MustCallAliasPassthroughLocal.java
M checker/tests/resourceleak/MustCallAliasPassthroughWrong1.java
M checker/tests/resourceleak/MustCallAliasPassthroughWrong2.java
M checker/tests/resourceleak/MustCallAliasPassthroughWrong3.java
M checker/tests/resourceleak/MustCallAliasPassthroughWrong4.java
M checker/tests/resourceleak/MustCallAliasReturnAndParamSimple.java
M checker/tests/resourceleak/MustCallAliasSubstitution.java
M checker/tests/resourceleak/MustCloseIntoObject.java
M checker/tests/resourceleak/NonFinalFieldOnlyOverwrittenIfNull.java
M checker/tests/resourceleak/NonFinalFieldOnlyOverwrittenIfNull2.java
M checker/tests/resourceleak/OwnershipWithExceptions.java
M checker/tests/resourceleak/OwningAndEnsuresCalledMethodsOnException.java
M checker/tests/resourceleak/OwningEnsuresCalledMethods.java
M checker/tests/resourceleak/RLLambda.java
M checker/tests/resourceleak/ReplicaInputStreams.java
M checker/tests/resourceleak/RequiresCalledMethodsTest.java
M checker/tests/resourceleak/ReturnOwningObject.java
M checker/tests/resourceleak/SimpleSocketExample.java
M checker/tests/resourceleak/SneakyDrop.java
M checker/tests/resourceleak/SocketContainer.java
M checker/tests/resourceleak/SocketNullOverwrite.java
M checker/tests/resourceleak/StaticOwningField.java
M checker/tests/resourceleak/StaticOwningFieldOtherClass.java
M checker/tests/resourceleak/TernaryExpressions.java
M checker/tests/resourceleak/TryWithResourcesMultiResources.java
M checker/tests/resourceleak/TryWithResourcesVariable.java
M checker/tests/resourceleak/TwoResourcesECM.java
M checker/tests/resourceleak/UnconnectedSocketAlias.java
M checker/tests/resourceleak/WrapperStreamPoly.java
M checker/tests/resourceleak/ZookeeperByteBufferInputStream.java
M checker/tests/resourceleak/ZookeeperReport1.java
M checker/tests/resourceleak/ZookeeperReport1a.java
M checker/tests/resourceleak/java17/SwitchExpressions.java
M checker/tests/signature/CanonicalNameNonEmptyTest.java
M checker/tests/signature/ClassGetNameBinaryName.java
M checker/tests/signature/Conversion.java
M checker/tests/signature/PolySignatureTest2.java
M checker/tests/signature/SignatureConcatenation.java
M checker/tests/signature/SignatureTypeFactoryTest.java
M checker/tests/signedness-unchecked-defaults/TestUncheckedByteCode.java
M checker/tests/signedness/AnnoBeforeModifier.java
M checker/tests/signedness/BinaryOperations.java
M checker/tests/signedness/BitPatternOperations.java
M checker/tests/signedness/BoxedPrimitives.java
M checker/tests/signedness/CastedShifts.java
M checker/tests/signedness/CharComparisons.java
M checker/tests/signedness/Comparisons.java
M checker/tests/signedness/CompoundAssignmentsSignedness.java
M checker/tests/signedness/ConstantTests.java
M checker/tests/signedness/DefaultsSignedness.java
M checker/tests/signedness/IrrelevantAnnotationsTest.java
M checker/tests/signedness/Issue2543.java
M checker/tests/signedness/JdkConstantsTest.java
M checker/tests/signedness/LiteralCast.java
M checker/tests/signedness/LocalVarDefaults.java
M checker/tests/signedness/LowerUpperBound.java
M checker/tests/signedness/MaskedShifts.java
M checker/tests/signedness/ObjectCasts.java
M checker/tests/signedness/Operations.java
M checker/tests/signedness/PolymorphicReturnType.java
M checker/tests/signedness/RestrictedPolymorphism.java
M checker/tests/signedness/SignednessAssignments.java
M checker/tests/signedness/SignednessCast.java
M checker/tests/signedness/SignednessEquals.java
M checker/tests/signedness/SignednessManualExample.java
M checker/tests/signedness/SignednessNumberCasts.java
M checker/tests/signedness/StringConcat.java
M checker/tests/signedness/TestPrintln.java
M checker/tests/signedness/UnsignedConcat.java
M checker/tests/signedness/Utils.java
M checker/tests/signedness/UtilsJava8.java
M checker/tests/signedness/ValueIntegration.java
M checker/tests/signedness/WideningConversion.java
M checker/tests/signedness/java17/Issue6100.java
M checker/tests/sqlquotes/SqlQuotesConcat.java
M checker/tests/sqlquotes/SqlQuotesRegex.java
M checker/tests/stubparser-nullness/MultidimentionalArrayAnnotationTest.java
M checker/tests/stubparser-nullness/NoExplicitAnnotations.java
M checker/tests/stubparser-nullness/VarargConstructorParameterAnnotationTest.java
M checker/tests/stubparser-records/RecordUsage.java
M checker/tests/stubparser-tainting/FakeOverrideFormalParameter.java-TODO
M checker/tests/stubparser-tainting/FakeOverrideReturn.java
M checker/tests/tainting/Buffer.java
M checker/tests/tainting/CaptureSubtype2.java
M checker/tests/tainting/Casts.java
M checker/tests/tainting/ClassQPTypeVarTest.java
M checker/tests/tainting/ExtendHasQual.java
M checker/tests/tainting/ExtendsAndAnnotation.java
M checker/tests/tainting/GenericsEnclosing.java
M checker/tests/tainting/HasQualParamDefaults.java
M checker/tests/tainting/HasQualifierParameterIsNonTop.java
M checker/tests/tainting/InheritQualifierParameter.java
M checker/tests/tainting/Issue1111.java
M checker/tests/tainting/Issue2156.java
M checker/tests/tainting/Issue2159.java
M checker/tests/tainting/Issue2243.java
M checker/tests/tainting/Issue3033.java
M checker/tests/tainting/Issue3561.java
M checker/tests/tainting/Issue3776.java
M checker/tests/tainting/Issue4170.java
M checker/tests/tainting/Issue6110.java
M checker/tests/tainting/LambdaParameterDefaulting.java
M checker/tests/tainting/MemberReferenceInference.java
M checker/tests/tainting/NestedAnonymous.java
M checker/tests/tainting/ObjectCreation.java
M checker/tests/tainting/PolyClassDecl.java
M checker/tests/tainting/PolyConstructor.java
M checker/tests/tainting/PolyVarargs.java
M checker/tests/tainting/Refine.java
M checker/tests/tainting/SameTypeBounds.java
M checker/tests/tainting/SimplePrims.java
M checker/tests/tainting/SimpleTainting.java
M checker/tests/tainting/SubClassHasQP.java
M checker/tests/tainting/SubtypingConstraint.java
M checker/tests/tainting/TaintedIntersections.java
M checker/tests/tainting/TaintingDiamondInference.java
M checker/tests/tainting/TaintingIssue6025.java
M checker/tests/tainting/TaintingIssue6060.java
M checker/tests/tainting/TaintingIssue6755.java
M checker/tests/tainting/TaintingPolyFields.java
M checker/tests/tainting/TaintingPrimitiveTarget.java
M checker/tests/tainting/TestFieldPolymorphism.java
M checker/tests/tainting/TestNoQualifierParameterConflicting.java
M checker/tests/tainting/TypeInvalid.java
M checker/tests/tainting/WildcardArrayBound.java
M checker/tests/tainting/java17/TaintingBindingVariable.java
M checker/tests/tainting/withdefault/NoQualifierTest.java
M checker/tests/units/Addition.java
M checker/tests/units/BasicUnits.java
M checker/tests/units/Division.java
M checker/tests/units/Multiples.java
M checker/tests/units/PolyUnitTest.java
M checker/tests/units/SubtractionUnits.java
M checker/tests/units/UnqualTest.java
M checker/tests/value-index-interaction/MinLenFromPositive.java
M docs/CHANGELOG.md
M docs/developer/release/sanity_checks.py
M docs/examples/fenum-extension/FenumDemo.java
M docs/examples/subtyping-extension/Demo.java
M docs/examples/units-extension/UnitsExtensionDemo.java
M docs/manual/creating-a-checker.tex
M docs/manual/generics.tex
M framework-test/src/main/java/org/checkerframework/framework/test/TestConfiguration.java
M framework-test/src/main/java/org/checkerframework/framework/test/TypecheckResult.java
M framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/TestDiagnostic.java
M framework-test/src/main/java/org/checkerframework/framework/test/diagnostics/TestDiagnosticUtils.java
M framework-test/src/test/java/org/checkerframework/framework/test/test/junit/AlternateTestRootPerDirTest.java
M framework-test/src/test/java/org/checkerframework/framework/test/test/junit/AlternateTestRootPerFileWithDirsTest.java
M framework-test/src/test/java/org/checkerframework/framework/test/test/junit/AlternateTestRootPerFileWithFilesTest.java
M framework-test/tests-alt/alt-dir-a/Issue6125A.java
M framework-test/tests-alt/alt-dir-b/Issue6125B.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/tests/accumulation-norr/SimpleFluent.java
M framework/tests/accumulation/Not.java
M framework/tests/accumulation/Predicates.java
M framework/tests/accumulation/SimpleFluent.java
M framework/tests/accumulation/SimpleInference.java
M framework/tests/accumulation/SimpleInferenceMerge.java
M framework/tests/accumulation/SimplePolymorphic.java
M framework/tests/accumulation/Subtyping.java
M framework/tests/accumulation/UnparsablePredicate.java
M framework/tests/accumulation/Xor.java
M framework/tests/aggregate/MultiError.java
M framework/tests/aliasing/AliasingConstructorTest.java
M framework/tests/aliasing/ArrayInitializerTest.java
M framework/tests/aliasing/CatchTest.java
M framework/tests/aliasing/ExplicitAnnotationTest.java
M framework/tests/aliasing/ForbiddenUniqueTest.java
M framework/tests/aliasing/ReceiverParameterTest.java
M framework/tests/aliasing/SuperTest.java
M framework/tests/aliasing/ThrowTest.java
M framework/tests/aliasing/TypeRefinement.java
M framework/tests/aliasing/UniqueAnnoTest.java
M framework/tests/aliasing/UniqueConstructorTest.java
M framework/tests/all-systems/GenericsCasts.java
M framework/tests/all-systems/java8/memberref/Purity.java
M framework/tests/annotationclassloader/Expected.txt
M framework/tests/annotationclassloader/LoaderTest.java
M framework/tests/classval/ClassNameTest.java
M framework/tests/classval/ClassValSubtypingTest.java
M framework/tests/classval/GLBTest.java
M framework/tests/compound-checker/MultiError.java
M framework/tests/conservative-defaults/annotatedfor/AnnotatedForTest.java
M framework/tests/defaulting/lowerbound/LowerBoundDefaulting.java
M framework/tests/defaulting/upperbound/UpperBoundDefaulting.java
M framework/tests/flow/AnnotationAliasing.java
M framework/tests/flow/ArrayFlow.java
M framework/tests/flow/Basic2.java
M framework/tests/flow/ContractsOverriding.java
M framework/tests/flow/ContractsOverridingSubtyping.java
M framework/tests/flow/CustomContractWithArgs.java
M framework/tests/flow/Equal.java
M framework/tests/flow/FieldShadowing.java
M framework/tests/flow/Issue4449.java
M framework/tests/flow/Issue951.java
M framework/tests/flow/MetaPostcondition.java
M framework/tests/flow/MetaPrecondition.java
M framework/tests/flow/MethodCallFlowExpr.java
M framework/tests/flow/Monotonic.java
M framework/tests/flow/NonMethodCode.java
M framework/tests/flow/ParamFlowExpr.java
M framework/tests/flow/Postcondition.java
M framework/tests/flow/Precondition.java
M framework/tests/flow/Purity.java
M framework/tests/flow/StorePure.java
M framework/tests/flow/Values.java
M framework/tests/flow/javaexpression-scope/Class2.java
M framework/tests/flow/javaexpression-scope/Issue862.java
M framework/tests/framework/AnnotatedAnnotation.java
M framework/tests/framework/AnnotatedGenerics.java
M framework/tests/framework/AnonymousClasses.java
M framework/tests/framework/ArraySubtyping.java
M framework/tests/framework/Arrays.java
M framework/tests/framework/Assignments.java
M framework/tests/framework/AssignmentsGeneric.java
M framework/tests/framework/BridgeMethods.java
M framework/tests/framework/ClassAnnotations.java
M framework/tests/framework/Constructors.java
M framework/tests/framework/DeepOverride.java
M framework/tests/framework/DeepOverrideAbstract.java
M framework/tests/framework/DeepOverrideBug.java
M framework/tests/framework/DeepOverrideInterface.java
M framework/tests/framework/ExtendsDefault.java
M framework/tests/framework/GenericAlias.java
M framework/tests/framework/GenericAliasInvalid.java
M framework/tests/framework/GenericAliasInvalidCall.java
M framework/tests/framework/GenericTest1.java
M framework/tests/framework/GenericTest4.java
M framework/tests/framework/GenericTest6.java
M framework/tests/framework/GenericTest7.java
M framework/tests/framework/GenericTest9.java
M framework/tests/framework/InnerGenerics.java
M framework/tests/framework/MethodOverrideBadParam.java
M framework/tests/framework/MethodOverrideBadReceiver.java
M framework/tests/framework/MethodOverrideBadReturn.java
M framework/tests/framework/MethodOverrides.java
M framework/tests/framework/Supertypes.java
M framework/tests/framework/TypeInference.java
M framework/tests/framework/Varargs.java
M framework/tests/framework/WildcardSuper.java
M framework/tests/h1h2checker/AnonymousClasses.java
M framework/tests/h1h2checker/Catch.java
M framework/tests/h1h2checker/CompoundStringAssignment.java
M framework/tests/h1h2checker/Constructors.java
M framework/tests/h1h2checker/Defaulting.java
M framework/tests/h1h2checker/ForEach.java
M framework/tests/h1h2checker/Generics.java
M framework/tests/h1h2checker/GetClassStubTest.java
M framework/tests/h1h2checker/IncompatibleBounds.java
M framework/tests/h1h2checker/InferTypeArgsPolyChecker.java
M framework/tests/h1h2checker/Inheritance.java
M framework/tests/h1h2checker/Issue2163Final.java
M framework/tests/h1h2checker/Issue2186.java
M framework/tests/h1h2checker/Issue2264.java
M framework/tests/h1h2checker/Issue798.java
M framework/tests/h1h2checker/Issue849.java
M framework/tests/h1h2checker/Primitive.java
M framework/tests/h1h2checker/TypeRefinement.java
M framework/tests/initialized-fields-value/ClassInitializer2a.java
M framework/tests/initialized-fields-value/ManualConstructor.java
M framework/tests/initialized-fields-value/PrimitiveField.java
M framework/tests/initialized-fields/ConstructorPostcondition.java
M framework/tests/initialized-fields/EnsuresInitializedFieldsTest.java
M framework/tests/initialized-fields/SimpleConstructor.java
M framework/tests/javaexpression/ArrayCreationParsing.java
M framework/tests/javaexpression/Canonicalization.java
M framework/tests/javaexpression/ClassLiterals.java
M framework/tests/javaexpression/Constructor.java
M framework/tests/javaexpression/Fields.java
M framework/tests/javaexpression/InnerClasses.java
M framework/tests/javaexpression/LambdaParameter.java
M framework/tests/javaexpression/SimpleVPA.java
M framework/tests/javaexpression/Standardize.java
M framework/tests/javaexpression/TestParsing.java
M framework/tests/javaexpression/ThisStaticContext.java
M framework/tests/javaexpression/ThisSuper.java
M framework/tests/javaexpression/Unparsable.java
M framework/tests/javaexpression/UnsupportJavaCode.java
M framework/tests/javaexpression/ViewPointAdaptMethods.java
M framework/tests/javaexpression/ViewpointAdaptation.java
M framework/tests/javaexpression/ViewpointAdaptation2.java
M framework/tests/lubglb/IntersectionTypes.java
M framework/tests/lubglb/Issue2432Constructor.java
M framework/tests/methodval/MethodNameTest.java
M framework/tests/methodval/MethodValInferenceTest.java
M framework/tests/methodval/MethodValLUBTest.java
M framework/tests/methodval/MethodValSubtypingTest.java
M framework/tests/nontopdefault/NTDTest.java
M framework/tests/purity-suggestions/PuritySuggestionsClass.java
M framework/tests/reflection/AnonymousClassTest.java
M framework/tests/reflection/MethodTest.java
M framework/tests/reflection/ReflectionConstructorTest.java
M framework/tests/report/Accesses.java
M framework/tests/report/CallOverrides.java
M framework/tests/report/Creation.java
M framework/tests/report/Inherit.java
M framework/tests/report/Interface.java
M framework/tests/report/Overrides.java
M framework/tests/report/Package.java
M framework/tests/report/TestStub.java
M framework/tests/returnsreceiver/GenericReturn.java
M framework/tests/returnsreceiver/MethodRef.java
M framework/tests/returnsreceiver/OverrideTest.java
M framework/tests/returnsreceiver/SimpleTest.java
M framework/tests/returnsreceiver/SubtypingTest.java
M framework/tests/stringpatterns/stringpatterns-full/StringPatternsUsage.java
M framework/tests/subtyping/InvariantArrays.java
M framework/tests/subtyping/Poly.java
M framework/tests/subtyping/Simple.java
M framework/tests/subtyping/ThisType.java
M framework/tests/subtyping/ThrowCatch.java
M framework/tests/typedecldefault/BoundsAndDefaults.java
M framework/tests/value-ignore-range-overflow/RefinementEq.java
M framework/tests/value-ignore-range-overflow/RefinementGT.java
M framework/tests/value-ignore-range-overflow/RefinementGTE.java
M framework/tests/value-ignore-range-overflow/RefinementLT.java
M framework/tests/value-ignore-range-overflow/RefinementLTE.java
M framework/tests/value-ignore-range-overflow/RefinementNEq.java
M framework/tests/value-ignore-range-overflow/TransferAdd.java
M framework/tests/value-ignore-range-overflow/TransferDivide.java
M framework/tests/value-ignore-range-overflow/TransferSub.java
M framework/tests/value-ignore-range-overflow/TransferTimes.java
M framework/tests/value-non-null-strings-concatenation/Binaries.java
M framework/tests/value-non-null-strings-concatenation/CompoundAssignment.java
M framework/tests/value/Alias.java
M framework/tests/value/AnnotationUse.java
M framework/tests/value/ArrayInit.java
M framework/tests/value/ArrayIntro.java
M framework/tests/value/Basics.java
M framework/tests/value/Binaries.java
M framework/tests/value/Casts.java
M framework/tests/value/CastsFloatDouble.java
M framework/tests/value/ClassNotFound.java
M framework/tests/value/CompoundAssignment.java
M framework/tests/value/DivideByZero.java
M framework/tests/value/EmptyAnnotationArgument.java
M framework/tests/value/EnumConstants.java
M framework/tests/value/EnumValue.java
M framework/tests/value/ExceptionTest.java
M framework/tests/value/Fields.java
M framework/tests/value/GTETransferBug.java
M framework/tests/value/Issue1214.java
M framework/tests/value/Issue1218.java
M framework/tests/value/Issue867.java
M framework/tests/value/Loop.java
M framework/tests/value/Methods.java
M framework/tests/value/MinLenEqTransfer.java
M framework/tests/value/MinLenFieldInvar.java
M framework/tests/value/MinLenGTETransfer.java
M framework/tests/value/MinLenGTTransfer.java
M framework/tests/value/MinLenLTETransfer.java
M framework/tests/value/MinLenLTTransfer.java
M framework/tests/value/MinLenLUB.java
M framework/tests/value/MinLenNEqTransfer.java
M framework/tests/value/MinLenVarargs.java
M framework/tests/value/MyTree.java
M framework/tests/value/NegativeArrayLen.java
M framework/tests/value/Overflows.java
M framework/tests/value/Polymorphic.java
M framework/tests/value/Polymorphic2.java
M framework/tests/value/Refinement.java
M framework/tests/value/Refinement2.java
M framework/tests/value/RegexMatching.java
M framework/tests/value/RegexNonMatching.java
M framework/tests/value/RegexPatternSyntaxException.java
M framework/tests/value/RepeatMinLenIfWithError.java
M framework/tests/value/Repo.java
M framework/tests/value/StartsEndsWith.java
M framework/tests/value/StaticallyExecutableWarnings.java
M framework/tests/value/StringConcats.java
M framework/tests/value/StringLen.java
M framework/tests/value/StringValNull.java
M framework/tests/value/StringValNullConcatLength.java
M framework/tests/value/Switch.java
M framework/tests/value/TypeCast.java
M framework/tests/value/UncheckedMinLen.java
M framework/tests/value/Underflows.java
M framework/tests/value/ValueCast.java
M framework/tests/value/ValueWrapperCast.java
M framework/tests/value/java17/MultiCaseConst.java
M framework/tests/value/java17/SwitchExpressionTyping.java
M framework/tests/value/java17/ValueSwitchExprNeedsDataflow.java
M framework/tests/value/java17/ValueSwitchStatementRules.java
M framework/tests/value/loops/WidenedUpperBound.java
M framework/tests/variablenamedefault/TestVariableNameDefault.java

Log Message:
-----------
Print error key in brackets (#7525)



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