Introduce `TyInterner`#86435

Closed

LeSeulArtichaut wants to merge 9 commits intorust-lang:masterfrom

LeSeulArtichaut:zd/type-interner-5

Commits on Jun 18, 2021

Put mk_predicate in interner trait

detrumi
authored and
LeSeulArtichaut
committed
Add mk_ty and mk_substs, move InternAs

detrumi
authored and
LeSeulArtichaut
committed
move more to the interner

zaharidichev
authored and
LeSeulArtichaut
committed
Remove type param from Interner

zaharidichev
authored and
LeSeulArtichaut
committed
remove `tcx()`

zaharidichev
authored and
LeSeulArtichaut
committed
compiles

zaharidichev
authored and
LeSeulArtichaut
committed
Add allocation for `ValTree`
LeSeulArtichaut
committed
Keep tcx in TyDecoder
jackh726
committed

Commits on Jun 21, 2021

WIP move TyKind
jackh726
committed