| 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 |