Further improve precision of the type of node that hold type inference data.

pkg/compiler/lib/src/types/types.dart

Index: pkg/compiler/lib/src/types/types.dart
diff --git a/pkg/compiler/lib/src/types/types.dart b/pkg/compiler/lib/src/types/types.dart
index cd9e86000e7a910b45342ff1a24b82e0f230712b..26d29eac41ff18cbb47e17fa5d42f1f2e51488c6 100644
--- a/pkg/compiler/lib/src/types/types.dart
+++ b/pkg/compiler/lib/src/types/types.dart
@@ -44,12 +44,14 @@ abstract class GlobalTypeInferenceElementResult {
   /// The inferred return type when this result belongs to a function element.
   TypeMask get returnType;
 
-  /// Returns the type of a list allocation [node] (which can be a list
-  /// literal or a list new expression).
-  TypeMask typeOfNewList(Node node);
+  /// Returns the type of a list new expression [node].
+  TypeMask typeOfNewList(Send node);
+
+  /// Returns the type of a list literal [node].
+  TypeMask typeOfListLiteral(LiteralList node);
 
   /// Returns the type of a send [node].
-  TypeMask typeOfSend(Node node);
+  TypeMask typeOfSend(Send node);
 
   /// Returns the type of the operator of a complex send-set [node], for
   /// example, the type of `+` in `a += b`.
@@ -99,10 +101,13 @@ class GlobalTypeInferenceElementResultImpl
     return mask != null && mask.isEmpty;
   }
 
-  TypeMask typeOfNewList(Node node) =>
+  TypeMask typeOfNewList(Send node) =>
+      _inferrer.getTypeForNewList(_owner, node);
+
+  TypeMask typeOfListLiteral(LiteralList node) =>
       _inferrer.getTypeForNewList(_owner, node);
 
-  TypeMask typeOfSend(Node node) => _data?.typeOfSend(node);
+  TypeMask typeOfSend(Send node) => _data?.typeOfSend(node);
   TypeMask typeOfGetter(SendSet node) => _data?.typeOfGetter(node);
   TypeMask typeOfOperator(SendSet node) => _data?.typeOfOperator(node);
   TypeMask typeOfIterator(ForIn node) => _data?.typeOfIterator(node);