Placeholder span used when trait uses a HRTB on itself

Given the following code: [playground]

pub trait Pack<'a> {
    fn pack()
    where
        Self: for<'x> Pack<'x>;
}

The current output is:

error[E0283]: type annotations needed
  |
  = note: cannot satisfy `Self: Pack<'a>`

This should at least point at the Self: for<'x> Pack<'x> bound.

Ideally, this should work. (It's unclear why it shouldn't, given other where Self: work fine.)

As for the "it should work", see #84435.

Rollup merge of rust-lang#98794 - compiler-errors:conflicting-param-e…

Rollup merge of rust-lang#105285 - compiler-errors:conflicting-param-…

Auto merge of rust-lang#105285 - compiler-errors:conflicting-param-en…

Navigation Menu