error: tag values must not be duplicate
  --> $DIR/tag_uniqueness.rs:10:9
   |
10 |         #[tag = 0]
   |         ^^^^^^^^^^

error: tag values must not be duplicate
  --> $DIR/tag_uniqueness.rs:18:9
   |
18 |         #[tag = 0]
   |         ^^^^^^^^^^

error: tag values must not be duplicate
  --> $DIR/tag_uniqueness.rs:30:9
   |
30 |         #[tag = 0]
   |         ^^^^^^^^^^

error: tag values must not be duplicate
  --> $DIR/tag_uniqueness.rs:38:9
   |
38 |         #[tag = 0]
   |         ^^^^^^^^^^
