Function ancestors

pub fn ancestors(
    tcx: TyCtxt<'_>,
    trait_def_id: DefId,
    start_from_impl: DefId,
) -> Result<Ancestors<'_>, ErrorGuaranteed>

Walk up the specialization ancestors of a given impl, starting with that impl itself.

Returns Err if an error was reported while building the specialization graph.