Handle dynamic as bottom inside of function type reps

test/browser/runtime_tests.js

Index: test/browser/runtime_tests.js
diff --git a/test/browser/runtime_tests.js b/test/browser/runtime_tests.js
index 9e4617b8255ac2807b54900cd325117f65688e94..09f20c325aa4f867f2f56d2b43a885f9d92c3bbb 100644
--- a/test/browser/runtime_tests.js
+++ b/test/browser/runtime_tests.js
@@ -409,11 +409,10 @@ suite('instanceOf', () => {
     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]));