Inference for typed ListLiteral(s).

pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart

Index: pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
diff --git a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
index 5235cb27ce32b681afee56010fc73bd12c68e2a6..fbb8b46a5984056c8a2acb8f47f4990e58a87e0a 100644
--- a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
@@ -223,6 +223,20 @@ abstract class TypeInferrerImpl<S, E, V, F> extends TypeInferrer<S, E, V, F> {
     return typeNeeded ? coreTypes.boolClass.rawType : null;
   }
 
+  /// Performs the core type inference algorithm for list literals.
+  ///
+  /// [typeContext], [typeNeeded], and the return value behave as described in
+  /// [inferExpression].
+  DartType inferListLiteral(
+      DartType typeContext, bool typeNeeded, DartType typeArgument) {
+    if (!typeNeeded) return null;
+    if (typeArgument != null) {
+      return new InterfaceType(coreTypes.listClass, [typeArgument]);
+    }
+    // TODO(scheglov) Implement LUB for list elements
+    return const DynamicType();
+  }
+
   /// Performs the core type inference algorithm for static variable getters.
   ///
   /// [typeContext], [typeNeeded], and the return value behave as described in