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