| // Copyright (c) 2018, 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: compile-time error | |
| } | |
| class C extends Object with A { | |
| test() { | |
| print("Hello from test"); | |
| } | |
| } | |
| main() { | |
| C c = new C(); | |
| c.test(); | |
| dynamic cc = c; | |
| Expect.throwsNoSuchMethodError(() => cc.doesntExist()); | |
| } |