warning: trait `Empty` is never used
  --> $DIR/bounds.rs:7:7
   |
LL | trait Empty {}
   |       ^^^^^
   |
   = note: `#[warn(dead_code)]` on by default

warning: 1 warning emitted