No dynamic at runtime

lib/runtime/dart_runtime.js

Index: lib/runtime/dart_runtime.js
diff --git a/lib/runtime/dart_runtime.js b/lib/runtime/dart_runtime.js
index cd602b4add7d1c6c1e51524d7c531210d0dd2bc6..255d61964ea7f6c2923ccc2f359d1333c4eb336e 100644
--- a/lib/runtime/dart_runtime.js
+++ b/lib/runtime/dart_runtime.js
@@ -565,8 +565,13 @@ var dart, _js_helper, _js_primitives;
     if (arguments.length == 1) {
       // No type arguments, it's all dynamic
       let len = closure.length;
-      let args = Array.apply(null, new Array(len)).map(() => dart.dynamic);
-      t = functionType(dart.dynamic, args);
+      function build() {
+        let args = Array.apply(null, new Array(len)).map(() => core.Object);
+        return functionType(core.Object, args);
+      }
+      // We could be called before Object is defined.
+      if (core.Object === void 0) return fn(closure, build);
+      t = build();
     } else {
       // We're passed the piecewise components of the function type,
       // construct it.
@@ -958,6 +963,10 @@ var dart, _js_helper, _js_primitives;
         throw Error('requires ' + length + ' or 0 type arguments');
       }
       let args = Array.prototype.slice.call(arguments);
+      // TODO(leafp): This should really be core.Object for
+      // consistency, but Object is not attached to core
+      // until the entire core library has been processed,
+      // which is too late.

[vsm, 2015/05/21 20:08:47]

John and I were just discussing this.  I *think* this should only be core.Object
for class types.  For typedef (which also use this function), it should probably
stay as dynamic.

E.g., in
typedef T Foo<T>(T t);

Plain Foo should be dynamic->dynamic (effectively, bottom->top).

[Leaf, 2015/05/21 22:47:34]

It either needs to stay as dynamic, or get canonicalized appropriately,
depending on whether we want to be reifying dynamic into Object and bottom, or
whether we want to keep it around.

[vsm, 2015/05/22 15:52:04]

Ah, I was thinking that the reified type of any obj/function is never a typedef
- so it shouldn't matter.  But that's not quite true.  It can contain a typedef.
 Damn higher order types.  :-)

And, of course, if we use this same utility for generic methods....

So, it looks we'll need something more sophisticated?

       while (args.length < length) args.push(dart.dynamic);
 
       let value = resultMap;