Make super.foo= erroneous if they are not assignable.

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

 // Copyright (c) 2012, 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.
 
 part of resolution;
 
 abstract class TreeElements {
   AnalyzableElement get analyzedElement;
   Iterable<Node> get superUses;
 
@@ skipping 2998 matching lines @@
         }
       } else if (target.impliesType) {
         setter = reportAndCreateErroneousElement(node.selector, target.name,
             MessageKind.ASSIGNING_TYPE, const {});
         registry.registerThrowNoSuchMethod();
       } else if (target.isFinal || target.isConst) {
         if (Elements.isStaticOrTopLevelField(target) || target.isLocal) {
           setter = reportAndCreateErroneousElement(
               node.selector, target.name, MessageKind.CANNOT_RESOLVE_SETTER,
               const {});
+        } else if (node.isSuperCall) {
+          setter = reportAndCreateErroneousElement(
+              node.selector, target.name, MessageKind.SETTER_NOT_FOUND_IN_SUPER,
+              {'name': target.name, 'className': currentClass.name});
+          registry.registerSuperNoSuchMethod();
         } else {
           // For instance fields we don't report a warning here because the type
           // checker will detect this as well and report a better error message
           // with the context of the containing class.
         }
         registry.registerThrowNoSuchMethod();
-        if (node.isSuperCall) registry.registerSuperNoSuchMethod();
       } else if (target.isFunction && target.name != '[]=') {
         assert(!target.isSetter);
         if (Elements.isStaticOrTopLevelFunction(target) || target.isLocal) {
           setter = reportAndCreateErroneousElement(
               node.selector, target.name, MessageKind.ASSIGNING_METHOD,
               const {});
+        } else if (node.isSuperCall) {
+          setter = reportAndCreateErroneousElement(
+              node.selector, target.name, MessageKind.ASSIGNING_METHOD_IN_SUPER,
+              {'name': target.name,
+               'superclassName': target.enclosingElement.name});
+          registry.registerSuperNoSuchMethod();
         } else {
           // For instance methods we don't report a warning here because the
           // type checker will detect this as well and report a better error
           // message with the context of the containing class.
         }
         registry.registerThrowNoSuchMethod();
-        if (node.isSuperCall) registry.registerSuperNoSuchMethod();
       }
       if (isPotentiallyMutableTarget(target)) {
         registry.registerPotentialMutation(target, node);
         if (enclosingElement != target.enclosingElement) {
           registry.registerPotentialMutationInClosure(target, node);
         }
         for (Node scope in promotionScope) {
           registry.registerPotentialMutationIn(scope, target, node);
         }
       }
@@ skipping 2076 matching lines @@
 }
 
 /// The result for the resolution of the `assert` method.
 class AssertResult implements ResolutionResult {
   const AssertResult();
 
   Element get element => null;
 
   String toString() => 'AssertResult()';
 }