OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 | 4 |
5 // Regression test for issue 22976. | 5 // Regression test for issue 22976. |
6 | 6 |
7 class A<T> {} | 7 class A<T> {} |
| 8 |
8 class B<T> implements A<T> {} | 9 class B<T> implements A<T> {} |
| 10 |
9 class C<S, T> implements B<S>, A<T> {} | 11 class C<S, T> implements B<S>, A<T> {} |
10 | 12 |
11 main() { | 13 main() { |
12 C<int, String> c1 = new C<int, String>(); | 14 C<int, String> c1 = new C<int, String>(); |
13 C<String, int> c2 = new C<String, int>(); | 15 C<String, int> c2 = new C<String, int>(); |
14 A<int> a0 = c1; //# 01: ok | 16 A<int> a0 = c1; //# 01: ok |
15 A<int> a1 = c2; //# 02: ok | 17 A<int> a1 = c2; //# 02: ok |
16 } | 18 } |
OLD | NEW |