<!-- Thank you for filing a bug report! 🐛 Please provide a short summary of the bug, along with any information you feel relevant to replicating the bug. If you cannot produce a minimal reproduction case (something that would work in isolation), please provide the steps or even link to a repository that causes the problematic output to occur. --> Given the following code: [[playground]](https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=80446f85cb95ca52230fc6521feb1548) ```rust 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.) <!-- If the problem is not self-explanatory, please provide a rationale for the change. --> <!-- If dramatically different output is caused by small changes, consider also adding them here. If you're using the stable version of the compiler, you should also check if the bug also exists in the beta or nightly versions. The output might also be different depending on the Edition. -->
Given the following code: [playground]
The current output is:
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.)