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

    public t(resource1: Self.Coin, resource2: Self.Coin) {
    label b0:
        *&mut resource1 = move(resource2); // cannot mutate without drop ability
        return;
    }
}