Issue 4719. Mark inferred List/Map literal types as inferred.

compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java

Index: compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
diff --git a/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java b/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
index 1ca4321b03ecedd0f93709bdb6a9628d0c1ed46b..4b70e0b99c17830c22a4724335ac3c407ba53b8a 100644
--- a/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
+++ b/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
@@ -1865,7 +1865,8 @@ public class TypeAnalyzer implements DartCompilationPhase {
         }
         Type valueType = types.intersection(valueTypes);
         valueType = Types.makeInferred(valueType);
-        return typeProvider.getMapLiteralType(stringType, valueType);
+        InterfaceType mapLiteralType = typeProvider.getMapLiteralType(stringType, valueType);
+        return Types.makeInferred(mapLiteralType);
       }
 
       return type;
@@ -2715,7 +2716,8 @@ public class TypeAnalyzer implements DartCompilationPhase {
         }
         Type elementType = types.intersection(elementTypes);
         elementType = Types.makeInferred(elementType);
-        return typeProvider.getArrayLiteralType(elementType);
+        InterfaceType arrayLiteralType = typeProvider.getArrayLiteralType(elementType);
+        return Types.makeInferred(arrayLiteralType);
       }
       // done
       return interfaceType;