Function rustc_hir_analysis::collect::type_of::opaque::find_opaque_ty_constraints_for_impl_trait_in_assoc_type

source · 
pub(super) fn find_opaque_ty_constraints_for_impl_trait_in_assoc_type(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId
) -> Ty<'_>
Expand description

Checks “defining uses” of opaque impl Trait in associated types. These can only be defined by associated items of the same trait.