pub(super) fn find_opaque_ty_constraints_for_impl_trait_in_assoc_type(
tcx: TyCtxt<'_>,
def_id: LocalDefId,
opaque_types_from: DefiningScopeKind,
) -> 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.