Skip to content

Commit

Permalink
Auto merge of #113802 - cjgillot:check-debuginfo, r=compiler-errors
Browse files Browse the repository at this point in the history
Substitute types before checking inlining compatibility.

Addresses rust-lang/rust#112332 and rust-lang/rust#113781

I don't have a minimal test, but I this seems to remove the ICE locally.

This whole pre-inlining validation mirrors the "real" MIR validation pass to verify that inlined MIR will still pass validation.
The debuginfo loop is added because MIR validation check projections in debuginfo.
Likewise, MIR validation only checks `is_subtype`, so there is no reason for a stronger check.

The types were not being substituted in `check_equal`, so we were not bailing out of inlining if the substituted MIR callee body would not pass validation.
  • Loading branch information
bors committed Jul 21, 2023
2 parents 3ac5194 + 258476b commit a64fcbb
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit a64fcbb

Please sign in to comment.