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