tests/ui/traits/new-solver/projection-discr-kind.stderr

   1 error[E0277]: the trait bound `Discriminant<<T as Foo>::Assoc>: Bar` is not satisfied
   2   --> $DIR/projection-discr-kind.rs:14:15
   3    |
   4 LL |     needs_bar(std::mem::discriminant(&x));
   5    |     --------- ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Bar` is not implemented for `Discriminant<<T as Foo>::Assoc>`
   6    |     |
   7    |     required by a bound introduced by this call
   8    |
   9 note: required by a bound in `needs_bar`
  10   --> $DIR/projection-discr-kind.rs:11:22
  11    |
  12 LL | fn needs_bar(_: impl Bar) {}
  13    |                      ^^^ required by this bound in `needs_bar`
  14
  15 error: aborting due to previous error
  16
  17 For more information about this error, try `rustc --explain E0277`.