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.