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