Remove requiredTypes

pkg/compiler/lib/src/resolution/tree_elements.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 dart2js.resolution.tree_elements;
 
 import '../common.dart';
 import '../constants/expressions.dart';
 import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../types/types.dart' show
     TypeMask;
 import '../tree/tree.dart';
 import '../util/util.dart';
 import '../universe/selector.dart' show
     Selector;
 
 import 'secret_tree_element.dart' show
     getTreeElement,
     setTreeElement;
 import 'send_structure.dart';
 
 abstract class TreeElements {
   AnalyzableElement get analyzedElement;
   Iterable<Node> get superUses;
 
-  /// The set of types that this TreeElement depends on.
-  /// This includes instantiated types, types in is-checks and as-expressions
-  /// and in checked mode the types of all type-annotations.
-  Iterable<DartType> get requiredTypes;
-
   void forEachConstantNode(f(Node n, ConstantExpression c));
 
   Element operator[](Node node);
   Map<Node, DartType> get typesCache;
 
   SendStructure getSendStructure(Send send);
 
   // TODO(johnniwinther): Investigate whether [Node] could be a [Send].
   Selector getSelector(Node node);
   Selector getGetterSelectorInComplexSendSet(SendSet node);
@@ skipping 31 matching lines @@
    * Returns [:true:] if [node] is a type literal.
    *
    * Resolution marks this by setting the type on the node to be the
    * type that the literal refers to.
    */
   bool isTypeLiteral(Send node);
 
   /// Returns the type that the type literal [node] refers to.
   DartType getTypeLiteralType(Send node);
 
-  /// Register a dependency on [type].
-  void addRequiredType(DartType type);
-
   /// Returns a list of nodes that potentially mutate [element] anywhere in its
   /// scope.
   List<Node> getPotentialMutations(VariableElement element);
 
   /// Returns a list of nodes that potentially mutate [element] in [node].
   List<Node> getPotentialMutationsIn(Node node, VariableElement element);
 
   /// Returns a list of nodes that potentially mutate [element] in a closure.
   List<Node> getPotentialMutationsInClosure(VariableElement element);
 
@@ skipping 22 matching lines @@
   Map<Spannable, TypeMask> _typeMasks;
   Map<Node, DartType> _types;
   Map<Node, DartType> typesCache = <Node, DartType>{};
   Setlet<Node> _superUses;
   Map<Node, ConstantExpression> _constants;
   Map<VariableElement, List<Node>> _potentiallyMutated;
   Map<Node, Map<VariableElement, List<Node>>> _potentiallyMutatedIn;
   Map<VariableElement, List<Node>> _potentiallyMutatedInClosure;
   Map<Node, Map<VariableElement, List<Node>>> _accessedByClosureIn;
   Maplet<Send, SendStructure> _sendStructureMap;
-  Setlet<DartType> _requiredTypes;
   bool containsTryStatement = false;
 
   /// Map from nodes to the targets they define.
   Map<Node, JumpTarget> _definedTargets;
 
   /// Map from goto statements to their targets.
   Map<GotoStatement, JumpTarget> _usedTargets;
 
   /// Map from labels to their label definition.
   Map<Label, LabelDefinition> _definedLabels;
@@ skipping 40 matching lines @@
 
   void setType(Node node, DartType type) {
     if (_types == null) {
       _types = new Maplet<Node, DartType>();
     }
     _types[node] = type;
   }
 
   DartType getType(Node node) => _types != null ? _types[node] : null;
 
-  void addRequiredType(DartType type) {
-    if (_requiredTypes == null) _requiredTypes = new Setlet<DartType>();
-    _requiredTypes.add(type);
-  }
-
-  Iterable<DartType> get requiredTypes {
-    if (_requiredTypes == null) {
-      return const <DartType>[];
-    } else {
-      return _requiredTypes;
-    }
-  }
-
   Iterable<Node> get superUses {
     return _superUses != null ? _superUses : const <Node>[];
   }
 
   void addSuperUse(Node node) {
     if (_superUses == null) {
       _superUses = new Setlet<Node>();
     }
     _superUses.add(node);
   }
@@ skipping 290 matching lines @@
   }
 
   void setCurrentTypeMask(ForIn node, TypeMask mask) {
     _setTypeMask(node.inToken, mask);
   }
 
   TypeMask getCurrentTypeMask(ForIn node) {
     return _getTypeMask(node.inToken);
   }
 }