Support runtime check of function types.

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

Index: sdk/lib/_internal/compiler/implementation/universe/universe.dart
diff --git a/sdk/lib/_internal/compiler/implementation/universe/universe.dart b/sdk/lib/_internal/compiler/implementation/universe/universe.dart
index c167c6fdbc560d74634b6398e322de8fe0eaec3a..643ccc2ed628f7dc8a56ffeaa3a10079927b05e6 100644
--- a/sdk/lib/_internal/compiler/implementation/universe/universe.dart
+++ b/sdk/lib/_internal/compiler/implementation/universe/universe.dart
@@ -50,6 +50,18 @@ class Universe {
   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;
+
   Universe() : instantiatedClasses = new Set<ClassElement>(),
                instantiatedTypes = new Set<DartType>(),
                staticFunctionsNeedingGetter = new Set<FunctionElement>(),
@@ -58,7 +70,9 @@ class Universe {
                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>();
 
   bool hasMatchingSelector(Set<Selector> selectors,
                            Element member,