rust Don't ICE when non-self part of trait goal is constrained in new solver

Don't ICE when non-self part of trait goal is constrained in new solver

Open compiler-errors opened this issue 1 year ago • 4 comments

Self-explanatory. See test for example when this can happen.

Mar 11 '24 02:03 compiler-errors

r? @lcnr

rustbot has assigned @lcnr. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Mar 11 '24 02:03 rustbot

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

Mar 11 '24 02:03 rustbot

If you strongly disagree w https://github.com/rust-lang/rust/issues/106527#issuecomment-1989225484, then I can update it in a follow-up, but for now

@bors r=lcnr

Mar 11 '24 19:03 compiler-errors

:pushpin: Commit 0b6b3307fcd9faef6d32d09c5674795600e95a35 has been approved by lcnr

It is now in the queue for this repository.

Mar 11 '24 19:03 bors