Version 0.5.7.3 .

editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java

 /*
  * Copyright (c) 2013, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 28 matching lines @@
   public void test_argumentDefinitionTestNonParameter_optionalParameter() throws Exception {
     Source source = addSource(createSource(//
         "f([var v]) {",
         "  return ?v;",
         "}"));
     resolve(source);
     assertNoErrors();
     verify(source);
   }
 
+  public void test_assignmentToFinals_importWithPrefix() throws Exception {
+    Source source = addSource(createSource(//
+        "library lib;",
+        "import 'lib1.dart' as foo;",
+        "main() {",
+        "  foo.x = true;",
+        "}"));
+    addSource("/lib1.dart", createSource(//
+        "library lib1;",
+        "bool x = false;"));
+    resolve(source);
+    assertNoErrors();
+    verify(source);
+  }
+
   public void test_breakWithoutLabelInSwitch() throws Exception {
     Source source = addSource(createSource(//
         "class A {",
         "  void m(int i) {",
         "    switch (i) {",
         "      case 0:",
         "        break;",
         "    }",
         "  }",
         "}"));
@@ skipping 874 matching lines @@
   public void test_wrongNumberOfParametersForSetter() throws Exception {
     Source source = addSource(createSource(//
         "class A {",
         "  set x(a) {}",
         "}"));
     resolve(source);
     assertNoErrors();
     verify(source);
   }
 }