mirror of https://github.com/rust-lang/rust.git
46 lines
1.1 KiB
Rust
46 lines
1.1 KiB
Rust
// Test that a basic correct example of `#[loop_match]` with `#[const_continue]`
|
|
// works correctly.
|
|
|
|
//@ run-pass
|
|
|
|
#![allow(incomplete_features)]
|
|
#![feature(loop_match)]
|
|
|
|
enum State {
|
|
A,
|
|
B,
|
|
C,
|
|
}
|
|
|
|
fn main() {
|
|
let mut state = State::A;
|
|
#[loop_match]
|
|
'a: loop {
|
|
state = 'blk: {
|
|
match state {
|
|
State::A => {
|
|
#[const_continue]
|
|
break 'blk State::B;
|
|
}
|
|
State::B => {
|
|
// Without special logic, the compiler believes this is a
|
|
// reassignment to an immutable variable because of the
|
|
// `loop`. So this tests that local variables work.
|
|
let _a = 0;
|
|
|
|
if true {
|
|
#[const_continue]
|
|
break 'blk State::C;
|
|
} else {
|
|
#[const_continue]
|
|
break 'blk State::A;
|
|
}
|
|
}
|
|
State::C => break 'a,
|
|
}
|
|
};
|
|
}
|
|
|
|
assert!(matches!(state, State::C))
|
|
}
|