| // 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 |
| } |
