//# publish
module 0x1.M {
    import 0x1.signer;

    struct R has key { x: bool }

    public test(s: &signer) acquires R {
        let x: bool;
    label b0:
        move_to<R>(copy(s), R { x: false });
        R { x } = move_from<R>(signer.address_of(move(s)));
        return;
    }
}

//# run --signers 0x1
import 0x1.M;

main(s: signer) {
label b0:
    M.test(&s);
    return;
}

//# view --address 0x1 --resource 0x1::M::R