fix #27259, implement covariance checking for strong mode and DDC

pkg/analyzer/lib/src/generated/resolver.dart

Index: pkg/analyzer/lib/src/generated/resolver.dart
diff --git a/pkg/analyzer/lib/src/generated/resolver.dart b/pkg/analyzer/lib/src/generated/resolver.dart
index a921af01ddff44fc190ee24022727c2be7c9c4f3..6b7ccd3e17321055af6301ac80f2bd37ce54573a 100644
--- a/pkg/analyzer/lib/src/generated/resolver.dart
+++ b/pkg/analyzer/lib/src/generated/resolver.dart
@@ -6801,10 +6801,10 @@ class ResolverVisitor extends ScopedVisitor {
         !FunctionTypeImpl.relate(
             expectedClosureType,
             staticClosureType,
-            (DartType t, DartType s, _, __) =>
-                (t as TypeImpl).isMoreSpecificThan(s),
+            (s, t) => true,
             new TypeSystemImpl(typeProvider).instantiateToBounds,
-            returnRelation: (s, t) => true)) {
+            parameterRelation: (t, s) =>
+                (t.type as TypeImpl).isMoreSpecificThan(s.type))) {
       return;
     }
     // set propagated type for the closure