Function trait_is_same_or_supertrait 

fn trait_is_same_or_supertrait(
    tcx: TyCtxt<'_>,
    child: DefId,
    trait_: DefId,
) -> bool