Various impl trait in assoc tys cleanups#112891

Merged

bors merged 13 commits intorust-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
Only create the opaque collector once and visit it many times
oli-obk
committed
Point to argument/return type instead of the whole function header
oli-obk
committed
Add tests showcasing our short circuiting behaviour in the signature checks for defining scopes
oli-obk
committed
Stop failing eagerly, and collect all opaque types even if some are erroneous.
oli-obk
committed
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
Fix a codegen test
oli-obk
committed
Re-use error code for duplicate error
oli-obk
committed
Move some field extraction logic onto a method on `Node`
oli-obk
committed
Document what is going on in `opaque_types_defined_by`
oli-obk
committed
ICE on types that should not be defining opaque types
oli-obk
committed
Handle weak type aliases by immediately resolving them to their aliased type
oli-obk
committed
Only walk the identity substituted version of struct fields
oli-obk
committed