tests/ui/traits/next-solver/generalize/generalize-proj-new-universe-index-2.stderr

error[E0284]: type annotations needed
  --> $DIR/generalize-proj-new-universe-index-2.rs:74:5
   |
LL |     bound::<<Rigid as IdHigherRankedBound>::Assoc, <Wrapper<Leaf> as Id>::Assoc, _>()
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type of the type parameter `V` declared on the function `bound`
   |
   = note: cannot satisfy `<<Rigid as IdHigherRankedBound>::Assoc as WithAssoc<<Wrapper<Leaf> as Id>::Assoc>>::Assoc == _`
note: required by a bound in `bound`
  --> $DIR/generalize-proj-new-universe-index-2.rs:69:21
   |
LL | fn bound<T: ?Sized, U: ?Sized, V: ?Sized>()
   |    ----- required by a bound in this function
LL | where
LL |     T: WithAssoc<U, Assoc = V>,
   |                     ^^^^^^^^^ required by this bound in `bound`

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0284`.