From 4ad1ed3bc3015f9f6ea59222cf4c65b2440f00e2 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Fri, 19 Jun 2026 17:04:44 -0400
Subject: [PATCH] Add TYPE default location

---
 .../checkerframework/framework/qual/TypeUseLocation.java    | 6 ++++++
 1 file changed, 6 insertions(+)

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,