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