OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 import 'package:expect/expect.dart'; | 4 import 'package:expect/expect.dart'; |
5 | 5 |
6 class Implementation { | 6 class Implementation { |
7 method(int x) {} | 7 dynamic method(int x) {} |
8 } | 8 } |
9 | 9 |
10 abstract class Interface<T> { | 10 abstract class Interface<T> { |
11 method(T x); | 11 dynamic method(T x); |
12 } | 12 } |
13 | 13 |
14 class Subclass extends Implementation implements Interface<int> {} | 14 class Subclass extends Implementation implements Interface<int> {} |
15 | 15 |
| 16 typedef dynamic TakeNum(num x); |
| 17 |
16 main() { | 18 main() { |
17 Subclass subclass = new Subclass(); | 19 Subclass subclass = new Subclass(); |
18 Interface<int> intInterface = subclass; | 20 Interface<int> intInterface = subclass; |
19 Interface<num> numInterface = intInterface; | 21 Interface<num> numInterface = intInterface; |
20 Expect.throws(() => numInterface.method(2.5)); | 22 TakeNum f = numInterface.method; |
| 23 Expect.throws(() => f(2.5)); |
| 24 dynamic f2 = f; |
| 25 Expect.throws(() => f2(2.5)); |
21 } | 26 } |
OLD | NEW |