Check function type equivalence

pkg/compiler/lib/src/resolution/resolution_strategy.dart

 // Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library dart2js.resolution_strategy;
 
 import 'package:front_end/src/fasta/scanner.dart' show Token;
 
 import '../common.dart';
 import '../common_elements.dart';
@@ skipping 630 matching lines @@
   bool isDeferredLoadLibraryGetter(covariant MemberElement member) {
     return member.isDeferredLoaderGetter;
   }
 
   @override
   ResolutionFunctionType getFunctionType(covariant MethodElement method) {
     if (method is ConstructorBodyElement) {
       return method.constructor.type;
     }
     method.computeType(_resolution);
-    return method.type;
+    ResolutionFunctionType type = method.type;
+    if (method.isConstructor) {
+      ConstructorElement constructor = method;
+      if (constructor.definingConstructor != null) {
+        // The type of a defining constructor doesn't use the right type
+        // variables. Substitute the type variable of the defining class by the
+        // type variables of the enclosing class.
+        ClassElement definingClass =
+            constructor.definingConstructor.enclosingClass;
+        type = type.substByContext(
+            method.enclosingClass.thisType.asInstanceOf(definingClass));
+      }
+    }
+    return type;
   }
 
   @override
   ResolutionFunctionType getLocalFunctionType(
       covariant LocalFunctionElement function) {
     return function.type;
   }
 
   @override
   ResolutionDartType getUnaliasedType(covariant ResolutionDartType type) {
@@ skipping 225 matching lines @@
   @override
   WorkItem createWorkItem(MemberElement element) {
     assert(element.isDeclaration, failedAt(element));
     if (element.isMalformed) return null;
 
     assert(element is AnalyzableElement,
         failedAt(element, 'Element $element is not analyzable.'));
     return _resolution.createWorkItem(element);
   }
 }