https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101783
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to nick huang from comment #0) > The signature of *f<int>* would drop unnecessary const anyway as top-level > cv qualifier according to spec. So, there is no need to generate error. > > 2. clang gives a warning but still accept it of which I believe appropriate > (https://www.godbolt.org/z/9qWrj5asq). MSVC accept without complaining > (https://www.godbolt.org/z/3coqMnjjq). EDG warns too: "101783.C", line 8: warning: type qualifiers are meaningless here void f<B>(const typename A<B>::Type){} ^