module Test {
    struct X { b: bool }
    struct T { b: bool }

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

    public destroy_t(t: Self. T) {
        let b: bool;
        X { b } = move(t);
        return;
    }

}
// check: UNPACK_TYPE_MISMATCH_ERROR
