https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> --- Aren't we correct to reject both calls? The deduced return type for both is 'double', which does not model Integral. I thought the problem was that we were correctly rejecting the first call but failing to reject the second call.
