]>
Commit | Line | Data |
---|---|---|
5e7ed085 | 1 | // run-rustfix |
7cac9316 | 2 | |
b7449926 | 3 | // These are forbidden occurrences of label-break-value |
83c7162d | 4 | |
5e7ed085 | 5 | #[allow(unused_unsafe)] |
94b46f34 | 6 | fn labeled_unsafe() { |
5e7ed085 | 7 | unsafe 'b: {} //~ ERROR block label not supported here |
b039eaaf | 8 | } |
85aaf69f | 9 | |
94b46f34 | 10 | fn labeled_if() { |
5e7ed085 | 11 | if true 'b: {} //~ ERROR block label not supported here |
b039eaaf | 12 | } |
223e47cc | 13 | |
94b46f34 | 14 | fn labeled_else() { |
5e7ed085 | 15 | if true {} else 'b: {} //~ ERROR block label not supported here |
83c7162d XL |
16 | } |
17 | ||
94b46f34 | 18 | fn labeled_match() { |
5e7ed085 FG |
19 | match false 'b: { //~ ERROR block label not supported here |
20 | _ => {} | |
21 | } | |
c34b1796 | 22 | } |
7cac9316 | 23 | |
5e7ed085 FG |
24 | fn main() { |
25 | labeled_unsafe(); | |
26 | labeled_if(); | |
27 | labeled_else(); | |
28 | labeled_match(); | |
29 | } |