//# publish
module 0x1.M {
    struct Foo { f: bool }

    public id<T>(x: T): T {
    label b0:
        return move(x);
    }

    public bar<T1, T2>(x: T1, y: T2) {
    label b0:
        abort 0;
    }

    foo() {
        let x: Self.Foo;
    label b0:
        _ = Self.id<u64>(3);
        x = Self.id<Self.Foo>(Foo { f: false });
        Self.bar<Self.Foo, bool>(move(x), false);
        return;
    }
}