tests/ui/type-alias-impl-trait/underconstrained_generic.stderr

   1 error[E0277]: the trait bound `T: Trait` is not satisfied
   2   --> $DIR/underconstrained_generic.rs:22:5
   3    |
   4 LL |     ()
   5    |     ^^ the trait `Trait` is not implemented for `T`
   6    |
   7 note: required for `()` to implement `ProofForConversion<T>`
   8   --> $DIR/underconstrained_generic.rs:13:16
   9    |
  10 LL | impl<X: Trait> ProofForConversion<X> for () {
  11    |         -----  ^^^^^^^^^^^^^^^^^^^^^     ^^
  12    |         |
  13    |         unsatisfied trait bound introduced here
  14 help: consider restricting type parameter `T`
  15    |
  16 LL | type Converter<T: Trait> = impl ProofForConversion<T>;
  17    |                 +++++++
  18
  19 error: aborting due to previous error
  20
  21 For more information about this error, try `rustc --explain E0277`.