Skip to content

Commit

Permalink
Auto merge of rust-lang#102618 - aliemjay:simplify-closure-promote, r…
Browse files Browse the repository at this point in the history
…=compiler-errors

rework applying closure requirements in borrowck

Previously the promoted closure constraints were registered under the category `ConstraintCategory::ClosureBounds` in `type_check::prove_closure_bounds()` and then mapped back their original category in `regions_infer::best_blame_constraint` using the complicated map `closure_bounds_mapping`.

Now we're registering promoted constraints under their original category and span earlier in `type_check::prove_closure_bounds`.

See commit messages.

Fixes rust-lang#99245
  • Loading branch information
bors committed Nov 6, 2022
2 parents 217160a + 8f7fa69 commit a1891bf
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit a1891bf

Please sign in to comment.