//# publish
module 0x1.M {
    // duplicate field of the same name
    struct T{f: u64, f: u64}
}

// check: DUPLICATE_ELEMENT