https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98987
Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ppalka at gcc dot gnu.org --- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> --- As with PR96333, since the function templates' function parameters aren't equivalent, neither is considered more constrained than the other, and so we're correct to reject this testcase from what I understand.