fn compare_number_of_generics<'tcx>( tcx: TyCtxt<'tcx>, impl_: &AssocItem, _impl_span: Span, trait_: &AssocItem, trait_span: Option<Span>) -> Result<(), ErrorReported>