Various impl trait in assoc tys cleanups - #112891

Merged

bors merged 13 commits into

rust-lang:masterfrom

oli-obk:impl_trait_in_assoc_tys_cleanup

Jun 24, 2023

Commits on Jun 22, 2023

Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was open coded
oli-obk
committed
c8979e5
Only create the opaque collector once and visit it many times
oli-obk
committed
bae6454
Point to argument/return type instead of the whole function header
oli-obk
committed
12243ec
Add tests showcasing our short circuiting behaviour in the signature checks for defining scopes
oli-obk
committed
326a9fa
Stop failing eagerly, and collect all opaque types even if some are erroneous.
oli-obk
committed
41881ae
Treat opaque types failing the signature defining scope check as defining, as we already errored and can hide subsequent errors this way.
oli-obk
committed
a71628c
Fix a codegen test
oli-obk
committed
d6e1b20
Re-use error code for duplicate error
oli-obk
committed
30ff127
Move some field extraction logic onto a method on `Node`
oli-obk
committed
cb161e7
Document what is going on in `opaque_types_defined_by`
oli-obk
committed
0af4a21
ICE on types that should not be defining opaque types
oli-obk
committed
b0b4a07
Handle weak type aliases by immediately resolving them to their aliased type
oli-obk
committed
b323f58
Only walk the identity substituted version of struct fields
oli-obk
committed
27b386a