//# publish
module 0x42.M {
    t(s: signer) {
    label b0:
        return;
    }
}

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