Skip to content

Commit

Permalink
Auto merge of #109753 - compiler-errors:replenish-region-constraints,…
Browse files Browse the repository at this point in the history
… r=aliemjay

Clone region var origins instead of taking them in borrowck

Fixes an issue with the new solver where reporting a borrow-checker error ICEs because it calls `InferCtxt::evaluate_obligation`.

This also removes a handful of unnecessary `tcx.infer_ctxt().build()` calls that are only there to mitigate this same exact issue, but with the old solver.

Fixes compiler-errors/next-solver-hir-issues#12.

----

This implements `@aliemjay's` solution where we just don't *take* the region constraints, but clone them. This potentially makes it easier to write a bug about taking region constraints twice or never at all, but again, not many folks are touching this code.
  • Loading branch information
bors committed Apr 22, 2023
2 parents 353c2dd + c353ea0 commit 497fc37
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 497fc37

Please sign in to comment.