fn compare_number_of_method_arguments<'tcx>( tcx: TyCtxt<'tcx>, impl_m: AssocItem, trait_m: AssocItem, delay: bool, ) -> Result<(), ErrorGuaranteed>