Check implicit super call in synthetic constructor.

sdk/lib/_internal/compiler/implementation/resolution/members.dart

Index: sdk/lib/_internal/compiler/implementation/resolution/members.dart
diff --git a/sdk/lib/_internal/compiler/implementation/resolution/members.dart b/sdk/lib/_internal/compiler/implementation/resolution/members.dart
index caad7575af1c8ca84bbed69b017c27c7e1c0ca95..e596b6e9e44ac7caee09a4497b760f010318ff71 100644
--- a/sdk/lib/_internal/compiler/implementation/resolution/members.dart
+++ b/sdk/lib/_internal/compiler/implementation/resolution/members.dart
@@ -3879,8 +3879,10 @@ class ClassResolverVisitor extends TypeDefinitionVisitor {
     calculateAllSupertypes(element);
 
     if (!element.hasConstructor) {
-      Element superMember =
-          element.superclass.localLookup('');
+      Element superMember = element.superclass.localLookup('');
+      FunctionElement constructor =
+          new SynthesizedConstructorElementX.forDefault(superMember, element);
+      element.setDefaultConstructor(constructor, compiler);
       if (superMember == null || !superMember.isGenerativeConstructor()) {
         DualKind kind = MessageKind.CANNOT_FIND_CONSTRUCTOR;
         Map arguments = {'constructorName': ''};
@@ -3890,10 +3892,16 @@ class ClassResolverVisitor extends TypeDefinitionVisitor {
         superMember = new ErroneousElementX(
             kind.error, arguments, '', element);
         compiler.backend.registerThrowNoSuchMethod(mapping);
+      } else {
+        Selector callToMatch = new Selector.call(
+            "",

[karlklose, 2014/02/12 12:51:58]

Can you fit the arguments on one line?

[floitsch, 2014/02/12 14:04:52]

Done.

+            element.getLibrary(),
+            0);
+        if (!callToMatch.applies(superMember, compiler)) {
+          MessageKind kind = MessageKind.NO_MATCHING_CONSTRUCTOR_FOR_IMPLICIT;
+          compiler.reportError(node, kind);
+        }
       }
-      FunctionElement constructor =

[floitsch, 2014/02/11 19:30:31]

Moved these lines before the tests. Could move them back if you prefer.

-          new SynthesizedConstructorElementX.forDefault(superMember, element);
-      element.setDefaultConstructor(constructor, compiler);
     }
     return element.computeType(compiler);
   }