Skip to content

Commit

Permalink
Auto merge of #117908 - lcnr:region-kind-rename, r=BoxyUwU
Browse files Browse the repository at this point in the history
finish `RegionKind` renaming

second step of rust-lang/types-team#95

continues the work from #117876. While working on this and I encountered a bunch of further cleanup which I'll either open a tracking issue for or will do in a separate PR:
- rewrite the `RegionKind` docs, they still talk about `ReEmpty` and are generally out of date
- rename `DescriptionCtx` to `DescriptionCtxt`
- what is `CheckRegions::Bound`?
- `collect_late_bound_regions` et al
- `erase_late_bound_regions` -> `instantiate_bound_regions_with_erased`?
- `EraseEarlyRegions` visitor should be removed, feels duplicate

r? `@BoxyUwU`
  • Loading branch information
bors committed Nov 15, 2023
2 parents 12d95c1 + 50cc794 commit cb1ea1b
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit cb1ea1b

Please sign in to comment.