error[E0277]: the trait bound `Something: Termination` is not satisfied --> $DIR/issue-103052-1.rs:10:13 | LL | receive(Something); | ------- ^^^^^^^^^ the trait `Termination` is not implemented for `Something` | | | required by a bound introduced by this call | note: required by a bound in `receive` --> $DIR/issue-103052-1.rs:5:20 | LL | fn receive(_: impl std::process::Termination) {} | ^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `receive` error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0277`.