// error-pattern:Unsatisfied precondition constraint
fn main() {
let x = 5;
let _y = fn~(move x) { };
let _z = x; //< error: Unsatisfied precondition constraint
}