error: cannot find attribute `derive_Empty` in this scope
  --> $DIR/derive-still-gated.rs:6:3
   |
LL | #[derive_Empty]
   |   ^^^^^^^^^^^^

error: aborting due to previous error