//# print-bytecode
main() {
    let x: u64;
    let ref_x: &mut u64;
label b0:
    x = 3;
    ref_x = &mut x;
    *move(ref_x) = 42;
    return;
}

//# print-bytecode --input=module
module 0x3d.Foobar {
    struct FooCoin { value: u64 }

    public borrow_mut_field(arg: &mut Self.FooCoin) {
        let field_ref: &mut u64;
    label b0:
        field_ref = &mut move(arg).FooCoin::value;
        _ = move(field_ref);
        return;
    }
}

//# print-bytecode --input=module
module 0x4d.Foobar {
    struct FooCoin<T> { value: u64 }

    public borrow_mut_field(arg: &mut Self.FooCoin<address>) {
        let field_ref: &mut u64;
    label b0:
        field_ref = &mut move(arg).FooCoin<address>::value;
        _ = move(field_ref);
        return;
    }
}