//# publish
module 0x1.Test {
    struct X { b: bool }
    struct T { b: bool }

    public new_t(): Self.T {
    label b0:
        return T { b: true };
    }

    public destroy_t(t: Self.T) {
        let b: bool;
    label b0:
        // wrong struct in unpack
        X { b } = move(t);
        return;
    }

}