OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 class S<T> { } | 5 class S<T> { } |
6 class M<U> { } | 6 class M<U> { } |
7 | 7 |
8 class A<X> extends S<int> with M<double> { } | 8 class A<X> extends S<int> with M<double> { } |
9 class B<U, V> extends S with M<U, V> { } /// 01: static type warning | 9 class B<U, V> extends S with M<U, V> { } //# 01: static type warning |
10 class C<A, B> extends S<A, int> with M { } /// 02: static type warning | 10 class C<A, B> extends S<A, int> with M { } //# 02: static type warning |
11 | 11 |
12 class F<X> = S<X> with M<X>; | 12 class F<X> = S<X> with M<X>; |
13 class G = S<int> with M<double, double>; /// 05: static type warning | 13 class G = S<int> with M<double, double>; //# 05: static type warning |
14 | 14 |
15 main() { | 15 main() { |
16 var a; | 16 var a; |
17 a = new A(); | 17 a = new A(); |
18 a = new A<int>(); | 18 a = new A<int>(); |
19 a = new A<String, String>(); /// 03: static type warning | 19 a = new A<String, String>(); //# 03: static type warning |
20 a = new F<int>(); | 20 a = new F<int>(); |
21 a = new F<int, String>(); /// 04: static type warning | 21 a = new F<int, String>(); //# 04: static type warning |
22 } | 22 } |
OLD | NEW |