src/test/ui/never_type/feature-gate-never_type_fallback.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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`.