//# publish
module 0x42.M {
    struct S<T> has drop {
        f: T,
    }

    t(s: signer) {
        let x: Self.S<signer>;
    label b0:
        x = S<signer> { f: move(s) };
        return;
    }
}

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