Test (and fix some) invalid assignments.

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

 // Copyright (c) 2015, 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 dart2js.semantics_visitor;
 
 enum SendStructureKind {
   GET,
   SET,
   INVOKE,
@@ skipping 88 matching lines @@
       assert(invariant(node, getter != null, message:
         "Compound static access without element."));
       return handleCompoundErroneousSetterAccess(node, element, getter);
     }
     if (element.isErroneous) {
       if (isCompound) {
         return handleCompoundErroneousSetterAccess(node, element, getter);
       }
       return new StaticAccess.unresolved(element);
     } else if (element.isParameter) {
-      return new StaticAccess.parameter(element);
+      if (element.isFinal) {
+        return new StaticAccess.finalParameter(element);
+      } else {
+        return new StaticAccess.parameter(element);
+      }
     } else if (element.isLocal) {
       if (element.isFunction) {
         return new StaticAccess.localFunction(element);
+      } else if (element.isFinal || element.isConst) {
+        return new StaticAccess.finalLocalVariable(element);
       } else {
         return new StaticAccess.localVariable(element);
       }
     } else if (element.isStatic) {
       if (element.isField) {
         if (element.isFinal || element.isConst) {
           // TODO(johnniwinther): Handle const field separately.
           return new StaticAccess.finalStaticField(element);
         }
         return new StaticAccess.staticField(element);
@@ skipping 294 matching lines @@
             selector);
     }
   }
 
   AccessSemantics computeAccessSemantics(Send node,
                                          {bool isSet: false,
                                           bool isInvoke: false,
                                           bool isCompound: false}) {
     Element element = elements[node];
     Element getter = isCompound ? elements[node.selector] : null;
+    //print('$node,element=$element,getter=$getter');

[karlklose, 2015/05/22 12:14:19]

Remove debug code.

     if (elements.isTypeLiteral(node)) {
       DartType dartType = elements.getTypeLiteralType(node);
       // TODO(johnniwinther): Handle deferred constants. There are runtime
       // but not compile-time constants and should have their own
       // [DeferredConstantExpression] class.
       ConstantExpression constant = elements.getConstant(
           isInvoke || isSet || isCompound ? node.selector : node);
       switch (dartType.kind) {
         case TypeKind.INTERFACE:
           return new ConstantAccess.classTypeLiteral(constant);
@@ skipping 494 matching lines @@
       return internalError(node, "Unexpected variable $element.");
     }
     if (element.isConst) {
       ConstantExpression constant = elements.getConstant(element.initializer);
       return new ConstantVariableStructure(kind, node, element, constant);
     } else {
       return new NonConstantVariableStructure(kind, node, element);
     }
   }
 }