diff --git a/src/java.base/share/classes/org/checkerframework/framework/qual/TypeUseLocation.java b/src/java.base/share/classes/org/checkerframework/framework/qual/TypeUseLocation.java index 22809919f57..241ae242a25 100644 --- a/src/java.base/share/classes/org/checkerframework/framework/qual/TypeUseLocation.java +++ b/src/java.base/share/classes/org/checkerframework/framework/qual/TypeUseLocation.java @@ -18,6 +18,12 @@ */ public enum TypeUseLocation { + /** + * Apply default annotations to unannotated top-level types of classes, interfaces, enums, and + * records. + */ + TYPE, + /** Apply default annotations to unannotated top-level types of fields. */ FIELD,