Version 0.5.7.3 .

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

Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java
===================================================================
--- editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java	(revision 22658)
+++ editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java	(working copy)
@@ -46,6 +46,21 @@
     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 {",