Parameterize TypeSystem by its node kind

pkg/compiler/lib/src/inferrer/builder.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library simple_types_inferrer;
 
 import '../closure.dart' show ClosureRepresentationInfo;
 import '../common.dart';
 import '../common/names.dart' show Identifiers, Selectors;
 import '../compiler.dart' show Compiler;
@@ skipping 40 matching lines @@
         SetIfNullBulkMixin<TypeInformation, dynamic>,
         PrefixBulkMixin<TypeInformation, dynamic>,
         PostfixBulkMixin<TypeInformation, dynamic>,
         ErrorBulkMixin<TypeInformation, dynamic>,
         NewBulkMixin<TypeInformation, dynamic>,
         SetBulkMixin<TypeInformation, dynamic>
     implements SemanticSendVisitor<TypeInformation, dynamic> {
   final Compiler compiler;
   final MemberElement analyzedElement;
   final ResolvedAst resolvedAst;
-  final TypeSystem types;
+  final TypeSystem<ast.Node> types;
   final Map<JumpTarget, List<LocalsHandler>> breaksFor =
       new Map<JumpTarget, List<LocalsHandler>>();
   final Map<JumpTarget, List<LocalsHandler>> continuesFor =
       new Map<JumpTarget, List<LocalsHandler>>();
   LocalsHandler locals;
   final List<TypeInformation> cascadeReceiverStack =
       new List<TypeInformation>();
 
   TypeInformation returnType;
   bool visitingInitializers = false;
@@ skipping 1086 matching lines @@
 
   TypeInformation visitLiteralList(ast.LiteralList node) {
     // We only set the type once. We don'TypeInformation need to re-visit the children
     // when re-analyzing the node.
     return inferrer.concreteTypes.putIfAbsent(node, () {
       TypeInformation elementType;
       int length = 0;
       for (ast.Node element in node.elements.nodes) {
         TypeInformation type = visit(element);
         elementType = elementType == null
-            ? types.allocatePhi(null, null, type)
+            ? types.allocatePhi(null, null, type, isTry: false)
             : types.addPhiInput(null, elementType, type);
         length++;
       }
       elementType = elementType == null
           ? types.nonNullEmpty()
           : types.simplifyPhi(null, null, elementType);
       TypeInformation containerType =
           node.isConst ? types.constListType : types.growableListType;
       return types.allocateList(
           containerType, node, outermostElement, elementType, length);
@@ skipping 1768 matching lines @@
     Selector moveNextSelector = Selectors.moveNext;
     TypeMask moveNextMask = memberData.typeOfIteratorMoveNext(node);
 
     TypeInformation iteratorType = handleDynamicSend(node, iteratorSelector,
         iteratorMask, expressionType, new ArgumentsTypes.empty());
 
     return handleForInLoop(node, iteratorType, currentSelector, currentMask,
         moveNextSelector, moveNextMask);
   }
 }