Function rustc_trait_selection::traits::project::assoc_def
source · fn assoc_def(
selcx: &SelectionContext<'_, '_>,
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.
Based on the “projection mode”, this lookup may in fact only examine the
topmost impl. See the comments for Reveal
for more details.