Combine `ty::Projection` and `ty::Opaque` into `ty::Alias` - #104986

Merged

bors merged 11 commits into

rust-lang:masterfrom

compiler-errors:opaques

Dec 14, 2022

Commits on Dec 13, 2022

make Opaque have one field: OpaqueTy
compiler-errors
committed
918ede6
Use ty::OpaqueTy everywhere
compiler-errors
committed
7f3af72
ProjectionTy.item_def_id -> ProjectionTy.def_id
compiler-errors
committed
5c6afb8
squash OpaqueTy and ProjectionTy into AliasTy
compiler-errors
committed
c13bd83
Combine projection and opaque into alias
compiler-errors
committed
61adaf8
Combine identical alias arms
compiler-errors
committed
96cb18e
Combine OfOpaque and OfProjection
compiler-errors
committed
4b19a2c
nit: docs
compiler-errors
committed
0f9e414
Remove chalk lowering for AliasTy
compiler-errors
committed
7196973
Address nits

compiler-errors
and
oli-obk
committed
fbe66a6
Address a few more nits
compiler-errors
committed
99417d5