error: The `short` attribute with value `x` is repeated with another field.
  --> $DIR/repeated_short_auto.rs:10:9
   |
10 |     pub name2: bool,
   |         ^^^^^