## find_opaque_ty_constraints_for_impl_trait_in_assoc_type

# 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.