pub(crate) fn assoc_def(
    tcx: TyCtxt<'_>,
    impl_def_id: DefId,
    assoc_def_id: DefId,
) -> Result<LeafDef, ErrorGuaranteed>
Expand description

Locate the definition of an associated type in the specialization hierarchy, starting from the given impl.