fn generics_args_err_extend<'a>( tcx: TyCtxt<'_>, segments: impl Iterator<Item = &'a PathSegment<'a>> + Clone, err: &mut Diag<'_>, err_extend: GenericsArgsErrExtend<'_>, )