src/test/run-pass/typestate-multi-decl.rs

pub fn main() {
    let (x, y) = (10, 20);
    let z = x + y;
    assert_eq!(z, 30);
}