find_opaque_ty_constraints_for_impl_trait_in_assoc_type

rustc_hir_analysis::collect::type_of::opaque

Function 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,
    opaque_types_from: DefiningScopeKind,
) -> EarlyBinder<'_, 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.