Fixes #1268. Runtime type check fixed
diff --git a/LanguageFeatures/Super-parameters/type_inference_A04_t04.dart b/LanguageFeatures/Super-parameters/type_inference_A04_t04.dart
index e0eca0b..6c9b3f0 100644
--- a/LanguageFeatures/Super-parameters/type_inference_A04_t04.dart
+++ b/LanguageFeatures/Super-parameters/type_inference_A04_t04.dart
@@ -33,7 +33,7 @@
     testType(c.x);
   });
   Expect.throws(() {
-    testType(c.t);
+    testType(c.t as dynamic);
   });
 }