Fix super noSuchMethod handling.

tests/language/issue_25671a_test.dart

Index: tests/language/issue_25671a_test.dart
diff --git a/tests/language/issue_25671a_test.dart b/tests/language/issue_25671a_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..259b81bdb6f4b0b591d5bbf62fac99783171a4fa
--- /dev/null
+++ b/tests/language/issue_25671a_test.dart
@@ -0,0 +1,21 @@
+// Copyright (c) 2016, 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.
+
+import 'package:expect/expect.dart';
+
+class A {
+  noSuchMethod() {                                    /// 01: static type warning
+    throw new Exception(                              /// 01: continued
+        "Wrong noSuchMethod() should not be called"); /// 01: continued
+  }                                                   /// 01: continued
+}
+class C extends A {
+  test() {
+    super.v = 1; /// 01: continued
+  }
+}
+main() {
+  C c = new C();
+  Expect.throws(() => c.test(), (e) => e is NoSuchMethodError); /// 01: continued
+}