Revert "Revert "fix #27256, track type bounds for generic functions""

pkg/dev_compiler/tool/input_sdk/private/ddc_runtime/rtti.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.
 
 /// This library defines the association between runtime objects and
 /// runtime types.
 part of dart._runtime;
 
 /// Runtime type information.  This module defines the mapping from
 /// runtime objects to their runtime type information.  See the types
@@ skipping 40 matching lines @@
 ///
 /// `dart.fn(cls, rType, argsT, extras)` marks cls as having the
 /// runtime type dart.functionType(rType, argsT, extras).
 ///
 /// Note that since we are producing a type for a concrete function,
 /// it is sound to use the definite arrow type.
 ///
 fn(closure, t) {
   if (t == null) {
     // No type arguments, it's all dynamic
-    t = definiteFunctionType(JS('', '#', dynamic),
+    t = fnType(JS('', '#', dynamic),
         JS('', 'Array(#.length).fill(#)', closure, dynamic), JS('', 'void 0'));
   }
   tag(closure, t);
   return closure;
 }
 
 lazyFn(closure, computeType) {
   tagLazy(closure, computeType);
   return closure;
 }
@@ skipping 32 matching lines @@
     // Note: this is a JS Symbol, not a Dart one.
     return JS('', '#', jsobject);
   }
 
   return null;
 }
 
 getFunctionType(obj) {
   // TODO(vsm): Encode this properly on the function for Dart-generated code.
   var args = JS('', 'Array(#.length).fill(#)', obj, dynamic);
-  return definiteFunctionType(bottom, args, JS('', 'void 0'));
+  return fnType(bottom, args, JS('', 'void 0'));
 }
 
 /// Returns the runtime representation of the type of obj.
 ///
 /// The resulting object is used internally for runtime type checking. This is
 /// different from the user-visible Type object returned by calling
 /// `runtimeType` on some Dart object.
 getReifiedType(obj) {
   var result = _checkPrimitiveType(obj);
   if (result != null) return result;
@@ skipping 97 matching lines @@
   if (module == null) return null;
   JS('', '#[#] = #', module, _moduleName, name);
   return module;
 }
 
 /// Track all libraries
 void trackLibraries(String moduleName, libraries, sourceMap) {
   JS('', '#.set(#, #)', _loadedSourceMaps, moduleName, sourceMap);
   JS('', '#.set(#, #)', _loadedModules, moduleName, libraries);
 }