Remove code that requires whole-program compile

lib/src/codegen/reify_coercions.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.
 
 import 'package:analyzer/analyzer.dart' as analyzer;
 import 'package:analyzer/src/generated/ast.dart';
 import 'package:analyzer/src/generated/element.dart';
 import 'package:analyzer/src/generated/type_system.dart'
     show StrongTypeSystemImpl;
+import 'package:analyzer/src/task/strong/info.dart';
+
 import 'package:logging/logging.dart' as logger;
 
-import '../info.dart';
-
 import 'ast_builder.dart';
 
 final _log = new logger.Logger('dev_compiler.reify_coercions');
 
 // TODO(leafp) Factor this out or use an existing library
 class Tuple2<T0, T1> {
   final T0 e0;
   final T1 e1;
   Tuple2(this.e0, this.e1);
 }
@@ skipping 12 matching lines @@
   bool synthetic;
   NewTypeIdDesc({this.fromCurrent, this.importedFrom, this.synthetic});
 }
 
 // This class implements a pass which modifies (in place) the ast replacing
 // abstract coercion nodes with their dart implementations.
 class CoercionReifier extends analyzer.GeneralizingAstVisitor<Object> {
   final CoercionManager _cm;
   final TypeManager _tm;
   final VariableManager _vm;
-  final LibraryUnit _library;
   final StrongTypeSystemImpl _typeSystem;
 
-  CoercionReifier._(
-      this._cm, this._tm, this._vm, this._library, this._typeSystem);
+  CoercionReifier._(this._cm, this._tm, this._vm, this._typeSystem);
 
   factory CoercionReifier(
-      LibraryUnit library, StrongTypeSystemImpl typeSystem) {
+      LibraryElement library, StrongTypeSystemImpl typeSystem) {
     var vm = new VariableManager();
-    var tm = new TypeManager(library.library.element.enclosingElement, vm);
+    var tm = new TypeManager(library, vm);
     var cm = new CoercionManager(vm, tm);
-    return new CoercionReifier._(cm, tm, vm, library, typeSystem);
+    return new CoercionReifier._(cm, tm, vm, typeSystem);
   }
 
   // This should be the entry point for this class.  Entering via the
   // visit functions directly may not do the right thing with respect
   // to discharging the collected definitions.
   // Returns the set of new type identifiers added by the reifier
-  Map<Identifier, NewTypeIdDesc> reify() {
-    _library.partsThenLibrary.forEach(visitCompilationUnit);
+  Map<Identifier, NewTypeIdDesc> reify(List<CompilationUnit> units) {
+    units.forEach(visitCompilationUnit);
+    // TODO(jmesserly): what is going on here? We are dropping these typedefs

[Jennifer Messerly, 2016/03/12 01:37:36]

Note, I actually fixed this TODO already in:
https://codereview.chromium.org/1783603009/

I will remove the TODO when merging it.

+    // on the floor. Either they aren't needed when compiling to JS, or we
+    // need to emit something for them.
     return _tm.addedTypes;
   }
 
   @override
   Object visitExpression(Expression node) {
     var info = CoercionInfo.get(node);
     if (info is InferredTypeBase) {
       return _visitInferredTypeBase(info, node);
     } else if (info is DownCast) {
       return _visitDownCast(info, node);
@@ skipping 377 matching lines @@
     var t = _mkNewTypeName(dType, id, args);
     return t;
   }
 
   TypeName _mkNewTypeName(DartType type, Identifier id, List<TypeName> args) {
     var t = AstBuilder.typeName(id, args);
     t.type = type;
     return t;
   }
 }