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