-
Notifications
You must be signed in to change notification settings - Fork 12.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Do not ICE on unmet trait alias bounds #108093
Conversation
I'll open another PR to add that the missing diagnostic note for @rustbot author |
Hmmm.. thinking whether or not I'd prefer if you just fixed the ICE at the spot that the ICE occurs. Conceptually, the trait alias is its own "synthetic" If you're going to stick with this appproach, be careful not to introduce a bunch of other diagnostic fallout that comes from trying to "un-regress" the diagnostic regression here from using |
Ah, okay, if that's the case then I agree we should handle this differently. Will rework in a different PR. |
The job Click to see the possible cause of the failure (guessed by this bot)
|
Speedy bot! 😂 |
…compiler-errors Do not ICE on unmet trait alias bounds Rework of rust-lang#108093 following feedback on that PR. Fixes rust-lang#108072 r? `@compiler-errors`
Obligations derived from trait alias predicates are not from any
impl
and therefore should beDerivedObligation
rather thanImplDerivedObligation
.Fixes #108072
r? compiler