Handle dynamic as bottom inside of function type reps

test/browser/runtime_tests.js

 // 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.
 
 var assert = chai.assert;
 var core = dart_library.import('dart/core');
 var collection = dart_library.import('dart/collection');
 var dart = dart_library.import('dart_runtime/dart');
 var dartx = dart.dartx;
 
@@ skipping 391 matching lines @@
     checkType(bar1, functionType(B, [B, String]), false);
     checkType(cls1, functionType(B, [B, String]), false);
     checkType(bar2, Foo, false);
     checkType(cls2, Foo, false);
     checkType(bar2, functionType(B, [B, String]), false);
     checkType(cls2, functionType(B, [B, String]), false);
     checkType(bar3, Foo);
     checkType(cls3, Foo);
     checkType(bar3, functionType(B, [B, String]));
     checkType(cls3, functionType(B, [B, String]));
-    checkType(bar4, Foo, false);
-    checkType(cls4, Foo, false);
-    // TODO(vsm): Revisit.  bar4 is (B, *) -> B.  Perhaps it should be treated as top for a reified object.
-    checkType(bar4, functionType(B, [B, String]), false);
-    checkType(cls4, functionType(B, [B, String]), false);
+    checkType(bar4, Foo, true);
+    checkType(cls4, Foo, true);
+    checkType(bar4, functionType(B, [B, String]), true);
+    checkType(cls4, functionType(B, [B, String]), true);
     checkType(bar5, Foo);
     checkType(cls5, Foo);
     checkType(bar5, functionType(B, [B, String]));
     checkType(cls5, functionType(B, [B, String]));
     checkType(bar6, Foo, false);
     checkType(cls6, Foo, false);
     checkType(bar6, functionType(B, [B, String]), false);
     checkType(cls6, functionType(B, [B, String]), false);
     checkType(bar7, Foo);
     checkType(cls7, Foo);
@@ skipping 303 matching lines @@
 
 suite('primitives', function() {
   'use strict';
 
   test('fixed length list', () => {
     let list = new core.List(10);
     list[0] = 42;
     assert.throws(() => list.add(42));
   });
 });