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

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