// xfail-stage0
// xfail-stage1
// xfail-stage2
obj big() {
    fn one() -> int { ret 1; }
    fn two() -> int { ret 2; }
    fn three() -> int { ret 3; }
}

type small =
    obj {
        fn one() -> int ;
    };

fn main() {
    let big b = big();
    assert (b.one() == 1);
    assert (b.two() == 2);
    assert (b.three() == 3);
    let small s = b as small;
    assert (s.one() == 1);
}