//# publish
module 0x1.A {
    import 0x1.signer;
    struct T1 has key {v: u64}

    // duplicate acquires annotation
    public test(account: &signer) acquires T1, T1 {
    label b0:
        _ = borrow_global_mut<T1>(signer.address_of(move(account)));
        return;
    }

}