e30fb6a26f
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 |
||
|---|---|---|
| .. | ||
| bound_region_errors.rs | ||
| conflict_errors.rs | ||
| explain_borrow.rs | ||
| find_all_local_uses.rs | ||
| find_use.rs | ||
| mod.rs | ||
| move_errors.rs | ||
| mutability_errors.rs | ||
| outlives_suggestion.rs | ||
| region_errors.rs | ||
| region_name.rs | ||
| var_name.rs | ||