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