https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51851
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- The case here is accepted since r10-7622: c++: Function type and parameter type disagreements [PR92010] This resolves parts of Core issues 1001/1322 by rebuilding the function type of an instantiated function template in terms of its formal parameter types whenever the original function type and formal parameter types disagree about the type of a parameter after substitution.
