content: /*
   * Decompiled with CFR 0.153-SNAPSHOT (d6f6758-dirty).
   */
  package org.checkerframework.common.value.qual;
  
  import java.lang.annotation.ElementType;
  import java.lang.annotation.Target;
  import org.checkerframework.common.value.qual.ArrayLen;
  import org.checkerframework.common.value.qual.ArrayLenRange;
  import org.checkerframework.common.value.qual.BoolVal;
  import org.checkerframework.common.value.qual.DoubleVal;
  import org.checkerframework.common.value.qual.IntRange;
  import org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne;
  import org.checkerframework.common.value.qual.IntRangeFromNonNegative;
  import org.checkerframework.common.value.qual.IntRangeFromPositive;
  import org.checkerframework.common.value.qual.IntVal;
  import org.checkerframework.common.value.qual.StringVal;
  import org.checkerframework.framework.qual.InvisibleQualifier;
  import org.checkerframework.framework.qual.SubtypeOf;
  import org.checkerframework.framework.qual.TargetLocations;
  import org.checkerframework.framework.qual.TypeUseLocation;
  
  @InvisibleQualifier
  @SubtypeOf(value={ArrayLen.class, BoolVal.class, DoubleVal.class, IntVal.class, StringVal.class, ArrayLenRange.class, IntRange.class, IntRangeFromPositive.class, IntRangeFromGTENegativeOne.class, IntRangeFromNonNegative.class})
  @Target(value={ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
  @TargetLocations(value={TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
  public @interface BottomVal {
  }
  
  