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

tests/language_2/function_type/function_type17_test.dart

Index: tests/language_2/function_type/function_type17_test.dart
diff --git a/tests/language_2/function_type/function_type17_test.dart b/tests/language_2/function_type/function_type17_test.dart
index ecea28ab13f744f68a259398aff443f0d2108f96..348c477def61bf22937d0b0ca0726614795dcb6c 100644
--- a/tests/language_2/function_type/function_type17_test.dart
+++ b/tests/language_2/function_type/function_type17_test.dart
@@ -246,10 +246,10 @@ class U17<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>);
     }
   }