// expect: x: u object must leave this block
fn main() { let x = new(3); u*x; return 0; }