Re-land "fix #30462, update function_type tests to understand covariant generics"

tests/language_2/function_type/function_type13_test.dart

Index: tests/language_2/function_type/function_type13_test.dart
diff --git a/tests/language_2/function_type/function_type13_test.dart b/tests/language_2/function_type/function_type13_test.dart
index 904228d6cd0df362ec7868aa92d911d3f5bdda31..c35cbcd98ac6cae6c2ab31e8fcf4d3124b7a3a3d 100644
--- a/tests/language_2/function_type/function_type13_test.dart
+++ b/tests/language_2/function_type/function_type13_test.dart
@@ -245,10 +245,10 @@ class U13<T> {
       });
     }
     if (tIsInt || tIsBool) {
-      Expect.equals(tIsInt, m2 is F2<int>);
-      Expect.equals(tIsBool, m2 is F2<bool>);
-      Expect.equals(tIsInt, confuse(m2) is F2<int>);
-      Expect.equals(tIsBool, confuse(m2) is F2<bool>);
+      Expect.equals(true, m2 is F2<int>);
+      Expect.equals(true, m2 is F2<bool>);
+      Expect.equals(true, confuse(m2) is F2<int>);
+      Expect.equals(true, confuse(m2) is F2<bool>);
     }
   }