1 2 3 4 5 6 7
// error-pattern:Unsatisfied precondition constraint fn main() { let x = 5; let _y = fn~[move x]() { }; let _z = x; //< error: Unsatisfied precondition constraint }