Function impl_trait_header 

fn impl_trait_header(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
) -> Option<ImplTraitHeader<'_>>