Parameterize TypeSystem by its node kind

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

Index: pkg/compiler/lib/src/inferrer/builder_kernel.dart
diff --git a/pkg/compiler/lib/src/inferrer/builder_kernel.dart b/pkg/compiler/lib/src/inferrer/builder_kernel.dart
index 9be4f1a04f8af7267d4a42db72e78bbfbd250555..4eb9b3d4922d0ce42e0bc632f662a041f89c2083 100644
--- a/pkg/compiler/lib/src/inferrer/builder_kernel.dart
+++ b/pkg/compiler/lib/src/inferrer/builder_kernel.dart
@@ -30,7 +30,8 @@ class KernelTypeGraphBuilder extends ir.Visitor<TypeInformation> {
   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();
@@ -154,7 +155,7 @@ class KernelTypeGraphBuilder extends ir.Visitor<TypeInformation> {
       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++;
       }