namespace;
include rt;

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