//# publish
module 0x42.M {
    t(s1: signer, s2: signer) {
    label b0:
        s1 = move(s2);
        return;
    }
}

// Used to be invalid
// Now valid because signer has drop