Output any annotations on a type-variable usage.

jspecify · Oct 27, 2020 · 5fc6c28 · 5fc6c28
1 parent c5f5118
commit 5fc6c28
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/...work/src/main/java/org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java b/...work/src/main/java/org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java
@@ -331,6 +331,9 @@ public String visitArray(AnnotatedArrayType type, Set<AnnotatedTypeMirror> visit
         public String visitTypeVariable(
                 AnnotatedTypeVariable type, Set<AnnotatedTypeMirror> visiting) {
             StringBuilder sb = new StringBuilder();
+            sb.append(
+                    annoFormatter.formatAnnotationString(
+                            type.getAnnotationsField(), currentPrintInvisibleSetting));
             sb.append(type.actualType);
 
             if (!visiting.contains(type)) {