error: Duplicate attribute.
 --> $DIR/duplicate_automata_attr.rs:6:5
  |
6 |     #[automaton]
  |     ^^^^^^^^^^^^