Introduce OpenWorld.

pkg/compiler/lib/src/compiler.dart

Index: pkg/compiler/lib/src/compiler.dart
diff --git a/pkg/compiler/lib/src/compiler.dart b/pkg/compiler/lib/src/compiler.dart
index 2461937a49d187c9efccc504a2f7a7e6385d8be2..9c644d847f23dee1ce448fe717ba53906f8ed0e8 100644
--- a/pkg/compiler/lib/src/compiler.dart
+++ b/pkg/compiler/lib/src/compiler.dart
@@ -77,7 +77,7 @@ import 'universe/universe.dart' show ResolutionUniverse, CodegenUniverse;
 import 'universe/use.dart' show StaticUse;
 import 'universe/world_impact.dart' show ImpactStrategy, WorldImpact;
 import 'util/util.dart' show Link, Setlet;
-import 'world.dart' show ClosedWorld, InferenceWorld, World;
+import 'world.dart' show ClosedWorld, InferenceWorld, OpenWorld, WorldImpl;
 
 typedef Backend MakeBackendFuncion(Compiler compiler);
 
@@ -88,7 +88,7 @@ abstract class Compiler implements LibraryLoaderListener {
   Measurer get measurer;
 
   final IdGenerator idGenerator = new IdGenerator();
-  World _world;
+  WorldImpl _world;
   Types types;
   _CompilerCoreTypes _coreTypes;
   CompilerDiagnosticReporter _reporter;
@@ -225,7 +225,7 @@ abstract class Compiler implements LibraryLoaderListener {
         this.userOutputProvider = outputProvider == null
             ? const NullCompilerOutput()
             : outputProvider {
-    _world = new World(this);
+    _world = new WorldImpl(this);
     if (makeReporter != null) {
       _reporter = makeReporter(this, options);
     } else {
@@ -304,7 +304,7 @@ abstract class Compiler implements LibraryLoaderListener {
 
   /// The world currently being computed by resolution. This forms a basis for
   /// the [inferenceWorld] and later the [closedWorld].
-  World get openWorld => _world;
+  OpenWorld get openWorld => _world;
 
   /// The closed world after resolution but currently refined by inference.
   InferenceWorld get inferenceWorld => _world;