error[E0277]: the trait bound `(): T` is not satisfied --> $DIR/feature-gate-never_type_fallback.rs:10:9 | LL | foo(panic!()) | --- ^^^^^^^^ | | | | | the trait `T` is not implemented for `()` | | this tail expression is of type `_` | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/feature-gate-never_type_fallback.rs:13:16 | LL | fn foo(_: impl T) {} | ^ required by this bound in `foo` error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.