Support runtime check of function types.

sdk/lib/_internal/compiler/implementation/universe/universe.dart

 // Copyright (c) 2012, 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 universe;
 
 import '../closure.dart';
 import '../elements/elements.dart';
 import '../dart2jslib.dart';
 import '../dart_types.dart';
@@ skipping 32 matching lines @@
    * getter and only registers an invoked getter.
    */
   final Set<Element> fieldGetters;
 
   /**
    * Fields set. See comment in [fieldGetters].
    */
   final Set<Element> fieldSetters;
   final Set<DartType> isChecks;
 
+  /**
+   * Set of [:call:] methods in instantiated classes that use type variables
+   * in their signature.
+   */
+  final Set<Element> genericCallMethods;
+
+  /**
+   * Set of methods in instantiated classes that use type variables in their
+   * signature and have potentially been closurized.
+   */
+  final Set<Element> closurizedGenericMembers;
+
+  final Set<Element> closurizedMembers;
+
   bool usingFactoryWithTypeArguments = false;
 
   Universe() : instantiatedClasses = new Set<ClassElement>(),
                instantiatedTypes = new Set<DartType>(),
                staticFunctionsNeedingGetter = new Set<FunctionElement>(),
                invokedNames = new Map<SourceString, Set<Selector>>(),
                invokedGetters = new Map<SourceString, Set<Selector>>(),
                invokedSetters = new Map<SourceString, Set<Selector>>(),
                fieldGetters = new Set<Element>(),
                fieldSetters = new Set<Element>(),
-               isChecks = new Set<DartType>();
+               isChecks = new Set<DartType>(),
+               genericCallMethods = new Set<Element>(),
+               closurizedGenericMembers = new Set<Element>(),
+               closurizedMembers = new Set<Element>();
 
   bool hasMatchingSelector(Set<Selector> selectors,
                            Element member,
                            Compiler compiler) {
     if (selectors == null) return false;
     for (Selector selector in selectors) {
       if (selector.appliesUnnamed(member, compiler)) return true;
     }
     return false;
   }
@@ skipping 10 matching lines @@
     return hasMatchingSelector(invokedSetters[member.name], member, compiler);
   }
 
   bool hasFieldGetter(Element member, Compiler compiler) {
     return fieldGetters.contains(member);
   }
 
   bool hasFieldSetter(Element member, Compiler compiler) {
     return fieldSetters.contains(member);
   }
+
+  DartType registerIsCheck(DartType type, Compiler compiler) {

[karlklose, 2013/06/20 07:32:55]

Which method is this replacing?

[Johnni Winther, 2013/06/21 12:19:15]

It new. Used from the enqueuer to register checks of the unalias types.

+    type = type.unalias(compiler);
+    // Even in checked mode, type annotations for return type and argument
+    // types do not imply type checks, so there should never be a check
+    // against the type variable of a typedef.
+    isChecks.add(type);
+    return type;
+  }
 }
 
 class SelectorKind {
   final String name;
   final int hashCode;
   const SelectorKind(this.name, this.hashCode);
 
   static const SelectorKind GETTER = const SelectorKind('getter', 0);
   static const SelectorKind SETTER = const SelectorKind('setter', 1);
   static const SelectorKind CALL = const SelectorKind('call', 2);
@@ skipping 403 matching lines @@
     //   bar() => foo(); // The call to 'foo' is a typed selector.
     // }
     if (element.getEnclosingClass().isClosure()) {
       return appliesUntyped(element, compiler);
     }
 
     if (!mask.canHit(element, this, compiler)) return false;
     return appliesUntyped(element, compiler);
   }
 }