Parameterize TypeSystem by its node kind

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

 // Copyright (c) 2017, 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.
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../closure.dart';
 import '../compiler.dart';
 import '../elements/elements.dart';
 import '../elements/entities.dart';
@@ skipping 12 matching lines @@
 /// Calling [run] will start the work of visiting the body of the code to
 /// construct a set of inference-nodes that abstractly represent what the code
 /// is doing.
 class KernelTypeGraphBuilder extends ir.Visitor<TypeInformation> {
   final Compiler compiler;
   final MemberElement originalElement;
   // TODO(efortuna): Remove this.
   final MemberElement outermostElement;
   final ir.Node analyzedNode;
   final ResolvedAst resolvedAst;
-  final TypeSystem types;
+  // TODO(johnniwinther): This should be TypeSystem<ir.Node>.
+  final TypeSystem<ast.Node> types;
   LocalsHandler locals;
   final InferrerEngine inferrer;
   SideEffects sideEffects = new SideEffects.empty();
   int loopLevel = 0;
   bool get inLoop => loopLevel > 0;
 
   final Set<Entity> capturedVariables = new Set<Entity>();
 
   final KernelAstAdapter astAdapter;
 
@@ skipping 103 matching lines @@
   @override
   TypeInformation visitListLiteral(ir.ListLiteral listLiteral) {
     // We only set the type once. We don't need to re-visit the children
     // when re-analyzing the node.
     return inferrer.concreteKernelTypes.putIfAbsent(listLiteral, () {
       TypeInformation elementType;
       int length = 0;
       for (ir.Expression element in listLiteral.expressions) {
         TypeInformation type = element.accept(this);
         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 =
           listLiteral.isConst ? types.constListType : types.growableListType;
       // TODO(efortuna): Change signature of allocateList and the rest of
       // type_system to deal with Kernel elements.
       return types.allocateList(containerType, astAdapter.getNode(listLiteral),
           outermostElement, elementType, length);
     });
   }
 }