| // 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 Object with A { |
| test() { |
| super.v = 1; /// 01: continued |
| } |
| } |
| main() { |
| C c = new C(); |
| Expect.throws(() => c.test(), (e) => e is NoSuchMethodError); /// 01: continued |
| } |
