/src/test/run-pass/typestate-cfg-nesting.rs

 1
 2
 3fn f() {
 4    let x = 10; let mut y = 11;
 5    if true { match x { _ => { y = x; } } } else { }
 6}
 7
 8fn main() {
 9    let x = 10;
10    let mut y = 11;
11    if true { while false { y = x; } } else { }
12}