Allow S->T <: dynamic->T

test/dart_codegen/expect/d/d.dart

Index: test/dart_codegen/expect/d/d.dart
diff --git a/test/dart_codegen/expect/d/d.dart b/test/dart_codegen/expect/d/d.dart
index 8d2f57c1d15a15c7ec3a9e27b3f09511f00f5f4d..ce52f7521e75f57cc43670ea0873c11c0f56e52c 100644
--- a/test/dart_codegen/expect/d/d.dart
+++ b/test/dart_codegen/expect/d/d.dart
@@ -17,15 +17,7 @@ void foo() {
   }, f4, __t5, __t3, "Wrap",
       """line 11, column 14 of test/dart_codegen/types/d.dart: """,
       f4 is __t3));
-  var z = f2(DEVC$RT.wrap((DDC$a$.A f(DDC$a$.A __u7)) {
-    DDC$a$.A c(DDC$a$.A x0) => f(DEVC$RT.cast(x0, dynamic, DDC$a$.A,
-        "CastParam",
-        """line 12, column 14 of test/dart_codegen/types/d.dart: """,
-        x0 is DDC$a$.A, true));
-    return f == null ? null : c;
-  }, f3, __t3, __t5, "Wrap",
-      """line 12, column 14 of test/dart_codegen/types/d.dart: """,
-      f3 is __t5));
+  var z = f2(f3);
 }
 typedef DDC$a$.A __t3(DDC$a$.A __u4);
 typedef dynamic __t5(dynamic __u6);