

type recbox<T: Copy> = {x: @T};

fn reclift<T: Copy>(t: T) -> recbox<T> { return {x: @t}; }

fn main() {
    let foo: int = 17;
    let rbfoo: recbox<int> = reclift::<int>(foo);
    assert (*rbfoo.x == foo);
}
