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

tests/compiler/dart2js/simple_inferrer_test.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.
 
 import 'package:expect/expect.dart';
 import "package:async_helper/async_helper.dart";
 import 'package:compiler/src/types/types.dart' show TypeMask;
 import 'type_mask_test_helper.dart';
 
 import 'compiler_helper.dart';
@@ skipping 711 matching lines @@
 }
 """;
 
 void main() {
   Uri uri = new Uri(scheme: 'source');
   var compiler = compilerFor(TEST, uri);
   compiler.diagnosticHandler = createHandler(compiler, TEST);
   asyncTest(() => compiler.run(uri).then((_) {
     var commonMasks = compiler.commonMasks;
     var typesInferrer = compiler.globalInference.typesInferrer;
-    var world = compiler.world;
+    var world = compiler.closedWorld;
 
     checkReturn(String name, type) {
       var element = findElement(compiler, name);
       Expect.equals(
           type,
           simplify(typesInferrer.getReturnTypeOfElement(element), compiler),
           name);
     }
     var interceptorType =
         findTypeMask(compiler, 'Interceptor', 'nonNullSubclass');
 
     checkReturn('returnNum1', commonMasks.numType);
     checkReturn('returnNum2', commonMasks.numType);
     checkReturn('returnInt1', commonMasks.uint31Type);
     checkReturn('returnInt2', commonMasks.uint31Type);
     checkReturn('returnDouble', commonMasks.doubleType);
     checkReturn('returnGiveUp', interceptorType);
     checkReturn('returnInt5', commonMasks.uint32Type);  // uint31+uint31->uint32
     checkReturn('returnInt6', commonMasks.uint32Type);  // uint31+uint31->uint32
     checkReturn('returnIntOrNull', commonMasks.uint31Type.nullable());
     checkReturn('returnInt3', commonMasks.uint31Type);
     checkReturn('returnDynamic', commonMasks.dynamicType);
     checkReturn('returnInt4', commonMasks.uint31Type);
     checkReturn('returnInt7', commonMasks.positiveIntType);
     checkReturn('returnInt8', commonMasks.positiveIntType);
     checkReturn('returnEmpty1', const TypeMask.nonNullEmpty());
     checkReturn('returnEmpty2', const TypeMask.nonNullEmpty());
     TypeMask intType = new TypeMask.nonNullSubtype(
-        compiler.coreClasses.intClass, compiler.world);
+        compiler.coreClasses.intClass, compiler.closedWorld);
     checkReturn('testIsCheck1', intType);
     checkReturn('testIsCheck2', intType);
     checkReturn('testIsCheck3', intType.nullable());
     checkReturn('testIsCheck4', intType);
     checkReturn('testIsCheck5', intType);
     checkReturn('testIsCheck6', commonMasks.dynamicType);
     checkReturn('testIsCheck7', intType);
     checkReturn('testIsCheck8', commonMasks.dynamicType);
     checkReturn('testIsCheck9', intType);
     checkReturn('testIsCheck10', commonMasks.dynamicType);
@@ skipping 12 matching lines @@
     checkReturn('testIsCheck23', intType);
     checkReturn('testIsCheck24', intType);
     checkReturn('testIsCheck25', commonMasks.dynamicType);
     checkReturn('testIsCheck26', intType);
     checkReturn('testIsCheck27', intType);
     checkReturn('testIsCheck28', commonMasks.dynamicType);
     checkReturn('testIsCheck29', commonMasks.dynamicType);
     checkReturn('testIf1', commonMasks.uint31Type.nullable());
     checkReturn('testIf2', commonMasks.uint31Type.nullable());
     checkReturn('returnAsString', new TypeMask.subtype(
-        compiler.coreClasses.stringClass, compiler.world));
+        compiler.coreClasses.stringClass, compiler.closedWorld));
     checkReturn('returnIntAsNum', commonMasks.uint31Type);
     checkReturn('returnAsTypedef', commonMasks.functionType.nullable());
     checkReturn('returnTopLevelGetter', commonMasks.uint31Type);
     checkReturn('testDeadCode', commonMasks.uint31Type);
     checkReturn('testLabeledIf', commonMasks.uint31Type.nullable());
     checkReturn('testSwitch1', simplify(
         commonMasks.intType
-            .union(commonMasks.doubleType, compiler.world)
+            .union(commonMasks.doubleType, compiler.closedWorld)
             .nullable(),
         compiler));
     checkReturn('testSwitch2', commonMasks.uint31Type);
     checkReturn('testSwitch3', interceptorType.nullable());
     checkReturn('testSwitch4', commonMasks.uint31Type);
     checkReturn('testSwitch5', commonMasks.uint31Type);
     checkReturn('testContinue1', interceptorType.nullable());
     checkReturn('testBreak1', interceptorType.nullable());
     checkReturn('testContinue2', interceptorType.nullable());
     checkReturn('testBreak2', commonMasks.uint32Type.nullable());
@@ skipping 56 matching lines @@
     checkReturn('testSpecialization3', commonMasks.uint31Type.nullable());
     checkReturn('testReturnNull1', commonMasks.nullType);
     checkReturn('testReturnNull2', commonMasks.nullType);
     checkReturn('testReturnNull3', commonMasks.dynamicType);
     checkReturn('testReturnNull4', commonMasks.nullType);
     checkReturn('testReturnNull5', commonMasks.nullType);
     checkReturn('testReturnNull6', commonMasks.dynamicType);
     checkReturn('testReturnNotEquals', commonMasks.boolType);
   }));
 }