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

tests/compiler/dart2js/related_types.dart

 // Copyright (c) 2015, 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 related_types;
 
 import 'package:compiler/src/commandline_options.dart';
 import 'package:compiler/src/compiler.dart';
 import 'package:compiler/src/core_types.dart';
 import 'package:compiler/src/dart_types.dart';
@@ skipping 58 matching lines @@
 }
 
 class RelatedTypesChecker extends TraversalVisitor<DartType, dynamic> {
   final Compiler compiler;
   final ResolvedAst resolvedAst;
 
   RelatedTypesChecker(this.compiler, ResolvedAst resolvedAst)
       : this.resolvedAst = resolvedAst,
         super(resolvedAst.elements);
 
-  ClassWorld get world => compiler.world;
+  ClassWorld get world => compiler.closedWorld;
 
   CoreClasses get coreClasses => compiler.coreClasses;
 
   CoreTypes get coreTypes => compiler.coreTypes;
 
   DiagnosticReporter get reporter => compiler.reporter;
 
   InterfaceType get thisType => resolvedAst.element.enclosingClass.thisType;
 
   /// Returns `true` if there exists no common subtype of [left] and [right].
@@ skipping 339 matching lines @@
   ClassElement findClass(DartType type) => type.accept(this, null);
 
   @override
   ClassElement visitType(DartType type, _) => null;
 
   @override
   ClassElement visitInterfaceType(InterfaceType type, _) {
     return type.element;
   }
 }