//# publish
module 0x42.M {
    t(sref: &mut signer, s: signer) {
    label b0:
        *copy(sref) = move(s);
        return;
    }
}

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