Closed
Description
There are many tests in compile-fail/borrowck/ that ICE with the same failure: "assertion failure, left == right" (with specific instances of MIR Lvalues then printed for left
and right
respectively.
- You can see list of such tests in the discrepancy spreadsheet.
- But for ease of reference, I am also transcribing that list into the first comment on this issue.
This may be due to some over-zealous assertion somewhere in MIR-borrowck.
In any case it needs diagnosis and fixing.