Auto merge of #110674 - compiler-errors:expect-projection-term-eq-succeeds, r=BoxyUwU

Browse source

Expect that equating a projection term always succeeds in new solver

These should never fail. If they do, we have a problem with the logic that replaces a projection goal's term with an unconstrained infer var. Let's make sure we ICE in that case.

...

This commit is contained in:

bors 2023-04-22 17:59:16 +00:00

parent 497fc37cb1 6d4a39dc9e

commit db43375841

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

Diff content is not available