Skip to content

MIR-borrowck: ICE: assertion failure left == right #44829

Closed
@pnkfelix

Description

@pnkfelix

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-borrow-checkerArea: The borrow checkerC-bugCategory: This is a bug.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions