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 // Verify that an attempt to assign to a class, enum, typedef, or type | 5 // Verify that an attempt to assign to a class, enum, typedef, or type |
6 // parameter produces a static warning and runtime error. | 6 // parameter produces a static warning and runtime error. |
7 | 7 |
8 import "package:expect/expect.dart"; | 8 import "package:expect/expect.dart"; |
9 | 9 |
10 noMethod(e) => e is NoSuchMethodError; | 10 noMethod(e) => e is NoSuchMethodError; |
11 | 11 |
12 class C<T> { | 12 class C<T> { |
13 f() { | 13 f() { |
14 Expect.throws(() => T = null, noMethod); /// 01: static type warning | 14 Expect.throws(() => T = null, noMethod); //# 01: static type warning |
15 } | 15 } |
16 } | 16 } |
17 | 17 |
18 class D {} | 18 class D {} |
19 | 19 |
20 enum E { e0 } | 20 enum E { e0 } |
21 | 21 |
22 typedef void F(); | 22 typedef void F(); |
23 | 23 |
24 main() { | 24 main() { |
25 new C<D>().f(); | 25 new C<D>().f(); |
26 Expect.throws(() => D = null, noMethod); /// 02: static type warning | 26 Expect.throws(() => D = null, noMethod); //# 02: static type warning |
27 Expect.throws(() => E = null, noMethod); /// 03: static type warning | 27 Expect.throws(() => E = null, noMethod); //# 03: static type warning |
28 Expect.throws(() => F = null, noMethod); /// 04: static type warning | 28 Expect.throws(() => F = null, noMethod); //# 04: static type warning |
29 } | 29 } |
OLD | NEW |