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 import "package:expect/expect.dart"; | 5 import "package:expect/expect.dart"; |
6 | 6 |
7 class A { | 7 class A { |
8 const A(); | 8 const A(); |
9 const factory A.B() = B; | 9 const factory A.B() = B; |
10 const factory A.C() = C; | 10 const factory A.C() = C; |
(...skipping 16 matching lines...) Expand all Loading... |
27 int get x => 0; | 27 int get x => 0; |
28 const factory D() = C.fromD; | 28 const factory D() = C.fromD; |
29 } | 29 } |
30 | 30 |
31 main() { | 31 main() { |
32 switch (new B()) { | 32 switch (new B()) { |
33 case const A.B(): Expect.fail("bad switch"); break; // //# 00: continued | 33 case const A.B(): Expect.fail("bad switch"); break; // //# 00: continued |
34 } | 34 } |
35 | 35 |
36 switch (new C()) { | 36 switch (new C()) { |
37 case const C(): | 37 case const C(): Expect.fail("bad switch"); break; |
38 Expect.fail("bad switch"); | 38 case const A.C(): Expect.fail("bad switch"); break; |
39 break; | 39 case const A.C2(): Expect.fail("bad switch"); break; |
40 case const A.C(): | |
41 Expect.fail("bad switch"); | |
42 break; | |
43 case const A.C2(): | |
44 Expect.fail("bad switch"); | |
45 break; | |
46 case const A(): Expect.fail("bad switch"); break; // //# 01: compile-time er
ror | 40 case const A(): Expect.fail("bad switch"); break; // //# 01: compile-time er
ror |
47 } | 41 } |
48 | 42 |
49 switch (new A()) { | 43 switch (new A()) { |
50 case const A(): | 44 case const A(): Expect.fail("bad switch"); break; |
51 Expect.fail("bad switch"); | |
52 break; | |
53 case const A.B(): Expect.fail("bad switch"); break; // //# 02: compile-time
error | 45 case const A.B(): Expect.fail("bad switch"); break; // //# 02: compile-time
error |
54 } | 46 } |
55 } | 47 } |
OLD | NEW |