Enforce @TargetLocations meta-annotation

checker-qual/src/main/java/org/checkerframework/checker/calledmethods/qual/CalledMethodsBottom.java

@@ -19,5 +19,5 @@
 @SubtypeOf({CalledMethods.class, CalledMethodsPredicate.class})
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 public @interface CalledMethodsBottom {}

checker-qual/src/main/java/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKeyBottom.java

@@ -22,6 +22,6 @@
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
 @SubtypeOf(CompilerMessageKey.class)
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @DefaultFor(TypeUseLocation.LOWER_BOUND)
 public @interface CompilerMessageKeyBottom {}

checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/FenumBottom.java

@@ -22,7 +22,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 // Subtype relationships are set up by passing this class as a bottom
 // to the multigraph hierarchy constructor.
 @SubtypeOf({})

checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/FenumTop.java

@@ -19,7 +19,12 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({
+    TypeUseLocation.LOWER_BOUND,
+    TypeUseLocation.UPPER_BOUND,
+    TypeUseLocation.LOCAL_VARIABLE,
+    TypeUseLocation.RESOURCE_VARIABLE
+})
 @SubtypeOf({})
 @DefaultFor({TypeUseLocation.LOCAL_VARIABLE, TypeUseLocation.RESOURCE_VARIABLE})
 public @interface FenumTop {}

checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/FormatBottom.java

@@ -20,7 +20,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({Format.class, InvalidFormat.class})
 @DefaultFor(value = {TypeUseLocation.LOWER_BOUND})
 public @interface FormatBottom {}

checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/UnknownFormat.java

@@ -18,8 +18,8 @@
  * <p>A type annotation indicating that the run-time value might or might not be a valid format
  * string.
  *
- * <p>This annotation may not be written in source code; it is an implementation detail of the
- * checker.
+ * <p>It is usually not necessary to write this annotation in source code. It is an implementation
+ * detail of the checker.
  *
  * @checker_framework.manual #formatter-checker Format String Checker
  */
@@ -29,5 +29,5 @@
 @InvisibleQualifier
 @SubtypeOf({})
 @DefaultQualifierInHierarchy
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.ALL})
 public @interface UnknownFormat {}

checker-qual/src/main/java/org/checkerframework/checker/i18n/qual/LocalizableKeyBottom.java

@@ -21,7 +21,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf(LocalizableKey.class)
 @DefaultFor(TypeUseLocation.LOWER_BOUND)
 public @interface LocalizableKeyBottom {}

checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.java

@@ -21,7 +21,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({I18nFormat.class, I18nInvalidFormat.class, I18nFormatFor.class})
 @DefaultFor(value = {TypeUseLocation.LOWER_BOUND})
 public @interface I18nFormatBottom {}

checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.java

@@ -18,12 +18,15 @@
  * <p>A type annotation indicating that the run-time value might or might not be a valid i18n format
  * string.
  *
+ * <p>It is usually not necessary to write this annotation in source code. It is an implementation
+ * detail of the checker.
+ *
  * @checker_framework.manual #i18n-formatter-checker Internationalization Format String Checker
  */
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.ALL})
 @InvisibleQualifier
 @SubtypeOf({})
 @DefaultQualifierInHierarchy

checker-qual/src/main/java/org/checkerframework/checker/index/qual/LowerBoundBottom.java

@@ -19,6 +19,6 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({Positive.class})
 public @interface LowerBoundBottom {}

checker-qual/src/main/java/org/checkerframework/checker/index/qual/SameLenBottom.java

@@ -19,6 +19,6 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf(SameLen.class)
 public @interface SameLenBottom {}

checker-qual/src/main/java/org/checkerframework/checker/index/qual/SearchIndexBottom.java

@@ -19,6 +19,6 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf(NegativeIndexFor.class)
 public @interface SearchIndexBottom {}

checker-qual/src/main/java/org/checkerframework/checker/index/qual/SubstringIndexBottom.java

@@ -19,6 +19,6 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf(SubstringIndexFor.class)
 public @interface SubstringIndexBottom {}

checker-qual/src/main/java/org/checkerframework/checker/index/qual/UpperBoundBottom.java

@@ -19,6 +19,6 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({LTOMLengthOf.class, UpperBoundLiteral.class})
 public @interface UpperBoundBottom {}

checker-qual/src/main/java/org/checkerframework/checker/index/qual/UpperBoundLiteral.java

@@ -18,7 +18,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf(LTEqLengthOf.class)
 public @interface UpperBoundLiteral {
 

checker-qual/src/main/java/org/checkerframework/checker/initialization/qual/FBCBottom.java

@@ -24,7 +24,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({UnderInitialization.class, Initialized.class})
 @QualifierForLiterals(LiteralKind.NULL)
 public @interface FBCBottom {}

checker-qual/src/main/java/org/checkerframework/checker/lock/qual/GuardSatisfied.java

@@ -33,7 +33,14 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target(ElementType.TYPE_USE)
-@TargetLocations({TypeUseLocation.RECEIVER, TypeUseLocation.PARAMETER, TypeUseLocation.RETURN})
+@TargetLocations({
+    TypeUseLocation.RECEIVER,
+    TypeUseLocation.PARAMETER,
+    TypeUseLocation.RETURN,
+    TypeUseLocation.FIELD,
+    TypeUseLocation.LOCAL_VARIABLE,
+    TypeUseLocation.CONSTRUCTOR_RESULT
+})
 @SubtypeOf(GuardedByUnknown.class) // TODO: Should @GuardSatisfied be in its own hierarchy?
 public @interface GuardSatisfied {
     /**

checker-qual/src/main/java/org/checkerframework/checker/lock/qual/GuardedByBottom.java

@@ -22,6 +22,6 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({NewObject.class})
 public @interface GuardedByBottom {}

checker-qual/src/main/java/org/checkerframework/checker/lock/qual/LockPossiblyHeld.java

@@ -6,6 +6,7 @@
 import org.checkerframework.framework.qual.LiteralKind;
 import org.checkerframework.framework.qual.QualifierForLiterals;
 import org.checkerframework.framework.qual.SubtypeOf;
+import org.checkerframework.framework.qual.TargetLocations;
 import org.checkerframework.framework.qual.TypeUseLocation;
 
 import java.lang.annotation.Documented;
@@ -16,8 +17,8 @@
 /**
  * Indicates that an expression is not known to be {@link LockHeld}.
  *
- * <p>This annotation may not be written in source code; it is an implementation detail of the
- * checker.
+ * <p>It is usually not necessary to write this annotation in source code. It is an implementation
+ * detail of the checker.
  *
  * @see LockHeld
  * @checker_framework.manual #lock-checker Lock Checker
@@ -29,5 +30,6 @@
 @SubtypeOf({})
 @DefaultQualifierInHierarchy
 @DefaultFor(value = TypeUseLocation.LOWER_BOUND, types = Void.class)
+@TargetLocations({TypeUseLocation.ALL})
 @QualifierForLiterals(LiteralKind.NULL)
 public @interface LockPossiblyHeld {}

checker-qual/src/main/java/org/checkerframework/checker/lock/qual/NewObject.java

@@ -22,7 +22,12 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({
+    TypeUseLocation.LOWER_BOUND,
+    TypeUseLocation.UPPER_BOUND,
+    TypeUseLocation.CONSTRUCTOR_RESULT,
+    TypeUseLocation.RETURN
+})
 @SubtypeOf({GuardedBy.class, GuardSatisfied.class})
 @DefaultFor(TypeUseLocation.CONSTRUCTOR_RESULT)
 @QualifierForLiterals({LiteralKind.STRING, LiteralKind.PRIMITIVE})

checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/KeyForBottom.java

@@ -22,7 +22,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @InvisibleQualifier
 @SubtypeOf(KeyFor.class)
 public @interface KeyForBottom {}

checker-qual/src/main/java/org/checkerframework/checker/propkey/qual/PropertyKeyBottom.java

@@ -21,7 +21,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf(PropertyKey.class)
 @DefaultFor(TypeUseLocation.LOWER_BOUND)
 public @interface PropertyKeyBottom {}

checker-qual/src/main/java/org/checkerframework/checker/regex/qual/RegexBottom.java

@@ -21,7 +21,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @InvisibleQualifier
 @SubtypeOf({Regex.class, org.checkerframework.checker.regex.qual.PartialRegex.class})
 @DefaultFor(value = {TypeUseLocation.LOWER_BOUND})

checker-qual/src/main/java/org/checkerframework/checker/regex/qual/UnknownRegex.java

@@ -20,7 +20,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.ALL})
 @InvisibleQualifier
 @SubtypeOf({})
 @DefaultQualifierInHierarchy

checker-qual/src/main/java/org/checkerframework/checker/signature/qual/SignatureBottom.java

@@ -20,7 +20,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({
     FieldDescriptorForPrimitive.class,
     PrimitiveType.class,

checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/SignednessBottom.java

@@ -21,6 +21,9 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({
+    TypeUseLocation.LOWER_BOUND,
+    TypeUseLocation.UPPER_BOUND,
+})
 @SubtypeOf({SignedPositiveFromUnsigned.class})
 public @interface SignednessBottom {}

checker-qual/src/main/java/org/checkerframework/checker/units/qual/UnitsBottom.java

@@ -20,7 +20,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @SubtypeOf({}) // needs to be done programmatically
 @DefaultFor(TypeUseLocation.LOWER_BOUND)
 public @interface UnitsBottom {}

checker-qual/src/main/java/org/checkerframework/common/initializedfields/qual/InitializedFieldsBottom.java

@@ -18,5 +18,5 @@
 @SubtypeOf({InitializedFields.class})
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 public @interface InitializedFieldsBottom {}

checker-qual/src/main/java/org/checkerframework/common/reflection/qual/ClassValBottom.java

@@ -20,7 +20,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @InvisibleQualifier
 @SubtypeOf({ClassVal.class, ClassBound.class})
 public @interface ClassValBottom {}

checker-qual/src/main/java/org/checkerframework/common/reflection/qual/MethodValBottom.java

@@ -20,7 +20,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 @InvisibleQualifier
 @SubtypeOf({MethodVal.class})
 public @interface MethodValBottom {}

checker-qual/src/main/java/org/checkerframework/common/reflection/qual/UnknownClass.java

@@ -23,7 +23,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.ALL})
 @InvisibleQualifier
 @SubtypeOf({})
 @DefaultQualifierInHierarchy

checker-qual/src/main/java/org/checkerframework/common/reflection/qual/UnknownMethod.java

@@ -24,7 +24,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.ALL})
 @InvisibleQualifier
 @SubtypeOf({})
 @DefaultQualifierInHierarchy

checker-qual/src/main/java/org/checkerframework/common/returnsreceiver/qual/BottomThis.java

@@ -19,5 +19,5 @@
 @SubtypeOf({UnknownThis.class})
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 public @interface BottomThis {}

checker-qual/src/main/java/org/checkerframework/common/subtyping/qual/Bottom.java

@@ -29,5 +29,5 @@
 @Documented
 @SubtypeOf({})
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.LOWER_BOUND, TypeUseLocation.UPPER_BOUND})
 public @interface Bottom {}

checker-qual/src/main/java/org/checkerframework/common/value/qual/BottomVal.java

@@ -20,7 +20,7 @@
 @Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
+@TargetLocations({TypeUseLocation.UPPER_BOUND, TypeUseLocation.LOWER_BOUND})
 @SubtypeOf({
     ArrayLen.class,
     BoolVal.class,