Overhaul interning. - #93148

Merged

bors merged 8 commits into

rust-lang:masterfrom

nnethercote:Uniq

Feb 15, 2022

Commits on Feb 15, 2022

Rename `Interned` as `InternedInSet`.
nnethercote
committed
028e57b
Rename `PtrKey` as `Interned` and improve it.
nnethercote
committed
0c2ebbd
Overhaul `TyS` and `Ty`.
nnethercote
committed
e9a0c42
Overhaul `PredicateInner` and `Predicate`.
nnethercote
committed
925ec0d
Overhaul `RegionKind` and `Region`.
nnethercote
committed
7024dc5
Remove unnecessary `RegionKind::` quals.
nnethercote
committed
7eb1550
Overhaul `Const`.
nnethercote
committed
a95fb8b
Address review comments.
nnethercote
committed
80632de