error: duplicate field `field` in inline struct
   --> test/ui/duplicate_struct_field.aldrin:15:13
    |
 15 | ... field = fallback;
    |     ^^^^^ duplicate defined here
    |
   ::: test/ui/duplicate_struct_field.aldrin:13:13
    |
 13 | ... field @ 1 = i32;
    |     ----- first defined here
    |
