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

tests/language_2/function_type/function_type16_test.dart

Index: tests/language_2/function_type/function_type16_test.dart
diff --git a/tests/language_2/function_type/function_type16_test.dart b/tests/language_2/function_type/function_type16_test.dart
index cf2d13708dd7824aaba10a5d7526a6567b5bdfb6..ed1bbf92965da10c5a6178b61df60a4835924389 100644
--- a/tests/language_2/function_type/function_type16_test.dart
+++ b/tests/language_2/function_type/function_type16_test.dart
@@ -244,10 +244,10 @@ class U16<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>);
     }
   }