rust/compiler/rustc_borrowck
bors e30fb6a26f Auto merge of #102618 - aliemjay:simplify-closure-promote, r=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 #99245
2022-11-06 05:26:09 +00:00
..
src Auto merge of #102618 - aliemjay:simplify-closure-promote, r=compiler-errors 2022-11-06 05:26:09 +00:00
Cargo.toml Remove from compiler/ crates 2022-09-29 16:49:04 +09:00