| error: unused attribute | |
| --> $DIR/empty-repr.rs:10:1 | |
| | | |
| LL | #[repr()] | |
| | ^^^^^^^^^ help: remove this attribute | |
| | | |
| note: the lint level is defined here | |
| --> $DIR/empty-repr.rs:4:9 | |
| | | |
| LL | #![deny(unused_attributes)] | |
| | ^^^^^^^^^^^^^^^^^ | |
| error: aborting due to 1 previous error | |