//# publish
module 0x42.A {
    struct Coin has store { value: u64 }
    struct T { f: Self.Coin }

    public t(this: &mut Self.T, y: Self.T) {
    label b0:
        *move(this) = move(y); // cannot assign/mutate without drop ability
        return;
    }
}