| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 // Test that generic types in mixins are handled. | 5 // Test that generic types in mixins are handled. |
| 6 | 6 |
| 7 import 'package:expect/expect.dart'; | 7 import 'package:expect/expect.dart'; |
| 8 | 8 |
| 9 class M<T> { | 9 class M<T> { |
| 10 var field = () { | 10 T field1 = 0; //# 01: compile-time error |
| 11 return T; | 11 T field2 = 0 as dynamic; |
| 12 }(); | |
| 13 } | 12 } |
| 14 | 13 |
| 15 class A<U> {} | 14 class A<U> {} |
| 16 | 15 |
| 17 class C1<V> = Object with M<V>; | 16 class C1<V> = Object with M<V>; |
| 18 class C2 = Object with M<int>; | 17 class C2 = Object with M<int>; |
| 19 class C3 = Object with M<String>; | 18 class C3 = Object with M<String>; |
| 20 | 19 |
| 21 main() { | 20 main() { |
| 22 Expect.equals(int, new C1<int>().field); | 21 // no error: 0 is an int |
| 23 Expect.equals(String, new C1<String>().field); | 22 new C1<int>(); |
| 23 new C2(); |
| 24 | 24 |
| 25 Expect.equals(int, new C2().field); | 25 // type error: 0 is not a string |
| 26 | 26 Expect.throws(() { |
| 27 Expect.equals(String, new C3().field); | 27 new C1<String>(); |
| 28 }, (e) => e is TypeError); |
| 29 Expect.throws(() { |
| 30 new C3(); |
| 31 }, (e) => e is TypeError); |
| 28 } | 32 } |
| OLD | NEW |