Convert the type-transformation handling to use TypeI.

The tests are still only run with the old type checker.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=153829588

src/com/google/javascript/jscomp/ConformanceRules.java

@@ -511,7 +511,7 @@ private ConformanceResult checkConformance(NodeTraversal t, Node n, Property pro
               if (ownerFun.isConstructor()) {
                 foundType = ownerFun.getInstanceType();
               }
-            } else if (foundObj.isGeneric()) {
+            } else if (foundObj.isGenericObjectType()) {
               foundType = foundObj.getRawType();
             }
           }

src/com/google/javascript/jscomp/DisambiguateProperties.java

@@ -973,7 +973,7 @@ private ObjectTypeI getTypeWithProperty(String field, TypeI type) {
     }
 
     // Unwrap templatized types, they are not unique at runtime.
-    if (foundType != null && foundType.isGeneric()) {
+    if (foundType != null && foundType.isGenericObjectType()) {
       foundType = foundType.getRawType();
     }
 

src/com/google/javascript/jscomp/GlobalTypeInfo.java

@@ -48,8 +48,10 @@
 import com.google.javascript.rhino.JSDocInfo;
 import com.google.javascript.rhino.JSTypeExpression;
 import com.google.javascript.rhino.Node;
+import com.google.javascript.rhino.ObjectTypeI;
 import com.google.javascript.rhino.Token;
 import com.google.javascript.rhino.TypeI;
+import com.google.javascript.rhino.TypeIEnv;
 import com.google.javascript.rhino.TypeIRegistry;
 import com.google.javascript.rhino.jstype.JSTypeNative;
 import java.util.ArrayList;
@@ -2883,8 +2885,29 @@ public TypeI createUnionType(List<? extends TypeI> members) {
     return result;
   }
 
+  @Override
+  public TypeI evaluateTypeExpression(JSTypeExpression expr, TypeIEnv<TypeI> typeEnv) {
+    throw new UnsupportedOperationException();
+  }
+
   @Override
   public TypeI evaluateTypeExpressionInGlobalScope(JSTypeExpression expr) {
     return createTypeFromCommentNode(expr.getRoot());
   }
+
+  @Override
+  public TypeI createRecordType(Map<String, ? extends TypeI> props) {
+    throw new UnsupportedOperationException();
+  }
+
+  @Override
+  public TypeI instantiateGenericType(
+      ObjectTypeI genericType, ImmutableList<? extends TypeI> typeArgs) {
+    throw new UnsupportedOperationException();
+  }
+
+  @Override
+  public TypeI buildRecordTypeFromObject(ObjectTypeI obj) {
+    throw new UnsupportedOperationException();
+  }
 }

src/com/google/javascript/jscomp/TypeInference.java

@@ -1386,8 +1386,10 @@ private Map<TemplateType, JSType> evaluateTypeTransformations(
         }
         // Evaluate the type transformation expression using the current
         // known types for the template type variables
-        JSType transformedType = ttlObj.eval(type.getTypeTransformation(),
-                ImmutableMap.<String, JSType>copyOf(typeVars));
+        @SuppressWarnings({"unchecked", "rawtypes"})
+        JSType transformedType = (JSType) ttlObj.eval(
+            type.getTypeTransformation(),
+            (ImmutableMap) ImmutableMap.copyOf(typeVars));
         result.put(type, transformedType);
         // Add the transformed type to the type variables
         typeVars.put(type.getReferenceName(), transformedType);

src/com/google/javascript/jscomp/TypeMismatch.java

@@ -126,7 +126,7 @@ static void recordImplicitInterfaceUses(
   private static TypeI removeNullUndefinedAndTemplates(TypeI t) {
     TypeI result = t.restrictByNotNullOrUndefined();
     ObjectTypeI obj = result.toMaybeObjectType();
-    if (obj != null && obj.isGeneric()) {
+    if (obj != null && obj.isGenericObjectType()) {
       return obj.instantiateGenericsWithUnknown();
     }
     return result;