| OLD | NEW |
| (Empty) | |
| 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 |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 import 'package:expect/expect.dart'; |
| 5 |
| 6 class Implementation { |
| 7 method(int x) {} |
| 8 } |
| 9 |
| 10 abstract class Interface<T> { |
| 11 method(T x); |
| 12 } |
| 13 |
| 14 class Subclass extends Implementation implements Interface<int> {} |
| 15 |
| 16 main() { |
| 17 Subclass subclass = new Subclass(); |
| 18 Interface<int> intInterface = subclass; |
| 19 Interface<num> numInterface = intInterface; |
| 20 Expect.throws(() => numInterface.method(2.5)); |
| 21 } |
| OLD | NEW |