blob: 65bb657f5d4399f4b7bca01012d061a08c9efd20 [file] [log] [blame]
import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.framework.qual.DefaultQualifier;
// This checks that fully-qualified class literals in annotations are properly handled by the AnnotationFileParser.
@DefaultQualifier(org.checkerframework.checker.nullness.qual.NonNull.class)
package java.lang;
// This checks that simply-named class literals in annotations are properly handled by the AnnotationFileParser.
@DefaultQualifier(Nullable.class)
package java.util;