https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125514
--- Comment #3 from Tomasz KamiĆski <tkaminsk at gcc dot gnu.org> --- Correction, to above. In C++17 the result_type, argument_type, first_argument_type and second_argument_type are required to be present, so we couldn't remove them. See section 4.1 of p0357r1.
