Function rustc_trait_selection::traits::project::assoc_def

fn assoc_def(
    selcx: &SelectionContext<'_, '_>,
    impl_def_id: DefId,
    assoc_def_id: DefId
) -> Result<LeafDef, ErrorGuaranteed>

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

Based on the “projection mode”, this lookup may in fact only examine the topmost impl. See the comments for Reveal for more details.