Split World usage into open, inference, and closed world.

pkg/compiler/lib/src/ssa/ssa_tracer.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 ssa.tracer;
 
 import 'dart:async' show EventSink;
 
 import '../compiler.dart' show Compiler;
 import '../diagnostics/invariant.dart' show DEBUG_MODE;
@@ skipping 127 matching lines @@
     } else if (instruction.isIndexablePrimitive(compiler)) {
       prefix = 'r';
     } else if (instruction.isBoolean(compiler)) {
       prefix = 'b';
     } else if (instruction.isInteger(compiler)) {
       prefix = 'i';
     } else if (instruction.isDouble(compiler)) {
       prefix = 'd';
     } else if (instruction.isNumber(compiler)) {
       prefix = 'n';
-    } else if (instruction.instructionType.containsAll(compiler.world)) {
+    } else if (instruction.instructionType.containsAll(compiler.closedWorld)) {
       prefix = 'v';
     } else {
       prefix = 'U';
     }
     return "$prefix${instruction.id}";
   }
 
   String visitBoolify(HBoolify node) {
     return "Boolify: ${temporaryId(node.inputs[0])}";
   }
@@ skipping 377 matching lines @@
   }
 
   String visitAwait(HAwait node) {
     return "Await: ${temporaryId(node.inputs[0])}";
   }
 
   String visitYield(HYield node) {
     return "Yield${node.hasStar ? "*" : ""}: ${temporaryId(node.inputs[0])}";
   }
 }