Don't recursively call combine and substitute if the underlining type is raw

framework/src/main/java/org/checkerframework/framework/type/AbstractViewpointAdapter.java

@@ -303,15 +303,16 @@ protected AnnotatedTypeMirror combineAnnotationWithType(
             AnnotationMirror resultAnnotation =
                     combineAnnotationWithAnnotation(
                             receiverAnnotation, extractAnnotationMirror(adt));
-
-            // Recursively combine type arguments and store to map
-            for (AnnotatedTypeMirror typeArgument : adt.getTypeArguments()) {
-                // Recursively adapt the type arguments of this adt
-                AnnotatedTypeMirror combinedTypeArgument =
-                        combineAnnotationWithType(receiverAnnotation, typeArgument);
-                mappings.put(typeArgument, combinedTypeArgument);
+            // Don't recursively combine type arguments if the type is raw
+            if (!adt.isUnderlyingTypeRaw()) {
+                // Recursively combine type arguments and store to map
+                for (AnnotatedTypeMirror typeArgument : adt.getTypeArguments()) {
+                    // Recursively adapt the type arguments of this adt
+                    AnnotatedTypeMirror combinedTypeArgument =
+                            combineAnnotationWithType(receiverAnnotation, typeArgument);
+                    mappings.put(typeArgument, combinedTypeArgument);
+                }
             }
-
             // Construct result type
             AnnotatedTypeMirror result = AnnotatedTypeCopierWithReplacement.replace(adt, mappings);
             result.replaceAnnotation(resultAnnotation);
@@ -413,11 +414,14 @@ private AnnotatedTypeMirror substituteTVars(AnnotatedTypeMirror lhs, AnnotatedTy
             AnnotatedDeclaredType adt = (AnnotatedDeclaredType) rhs.shallowCopy();
             IdentityHashMap<AnnotatedTypeMirror, AnnotatedTypeMirror> mappings =
                     new IdentityHashMap<>();
-
-            for (AnnotatedTypeMirror formalTypeParameter : adt.getTypeArguments()) {
-                AnnotatedTypeMirror actualTypeArgument = substituteTVars(lhs, formalTypeParameter);
-                mappings.put(formalTypeParameter, actualTypeArgument);
-                // The following code does the wrong thing!
+            // Don't recursively substitute type arguments if the type is raw
+            if (!adt.isUnderlyingTypeRaw()) {
+                for (AnnotatedTypeMirror formalTypeParameter : adt.getTypeArguments()) {
+                    AnnotatedTypeMirror actualTypeArgument =
+                            substituteTVars(lhs, formalTypeParameter);
+                    mappings.put(formalTypeParameter, actualTypeArgument);
+                    // The following code does the wrong thing!
+                }
             }
             // We must use AnnotatedTypeReplacer to replace the formal type parameters with actual
             // type arguments, but not replace with its main qualifier

framework/tests/viewpointtest/RawtypeInstantiation.java

@@ -0,0 +1,7 @@
+// Test case for EISOP issue #778:
+// https://github.com/eisop/checker-framework/issues/778
+public class RawtypeInstantiation<A extends RawtypeInstantiation> {
+    void foo() {
+        RawtypeInstantiation rawtypeInstantiation = new RawtypeInstantiation();
+    }
+}