Allow S->T <: dynamic->T

test/dart_codegen/expect/c/c.dart

Index: test/dart_codegen/expect/c/c.dart
diff --git a/test/dart_codegen/expect/c/c.dart b/test/dart_codegen/expect/c/c.dart
index cc5d0a43d5063bd1fdbef6095bb463484e8fced5..f44de238d137d577feae315d425892b2e0d4caf1 100644
--- a/test/dart_codegen/expect/c/c.dart
+++ b/test/dart_codegen/expect/c/c.dart
@@ -16,14 +16,7 @@ void bar() {
     return f == null ? null : c;
   }, f4, __t5, __t3, "Wrap",
       """line 11, column 6 of test/dart_codegen/types/c.dart: """, f4 is __t3));
-  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 6 of test/dart_codegen/types/c.dart: """,
-        x0 is DDC$a$.A, true));
-    return f == null ? null : c;
-  }, f3, __t3, __t5, "Wrap",
-      """line 12, column 6 of test/dart_codegen/types/c.dart: """, f3 is __t5));
+  f2(f3);
 }
 typedef DDC$a$.A __t3(DDC$a$.A __u4);
 typedef dynamic __t5(dynamic __u6);