OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, 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 /*@testedFeatures=inference*/ | 5 /*@testedFeatures=inference*/ |
6 library test; | 6 library test; |
7 | 7 |
8 var /*@topType=List<int>*/ x1 = /*@typeArgs=int*/ [1, 2, 3]; | 8 var /*@topType=List<int>*/ x1 = /*@typeArgs=int*/ [1, 2, 3]; |
9 test1() { | 9 test1() { |
10 x1.add(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 'hi'); | 10 x1.add(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 'hi'); |
11 x1.add(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 4.0); | 11 x1.add(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 4.0); |
12 x1.add(4); | 12 x1.add(4); |
13 List<num> y = x1; | 13 List<num> y = x1; |
14 } | 14 } |
15 | 15 |
16 var /*@topType=List<num>*/ x2 = /*@typeArgs=num*/ [1, 2.0, 3]; | 16 var /*@topType=List<num>*/ x2 = /*@typeArgs=num*/ [1, 2.0, 3]; |
17 test2() { | 17 test2() { |
18 x2.add(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 'hi'); | 18 x2.add(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/ 'hi'); |
19 x2.add(4.0); | 19 x2.add(4.0); |
20 List<int> y = /*info:ASSIGNMENT_CAST*/ x2; | 20 List<int> y = /*info:ASSIGNMENT_CAST*/ x2; |
21 } | 21 } |
| 22 |
| 23 main() { |
| 24 test1(); |
| 25 test2(); |
| 26 } |
OLD | NEW |