[Bug c++/102449] New: template parameter with default argument is used without being verified during explicit specialization
nickhuang99 at hotmail dot com
gcc-bugzilla@gcc.gnu.org
Wed Sep 22 12:15:05 GMT 2021
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102449
Bug ID: 102449
Summary: template parameter with default argument is used
without being verified during explicit specialization
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: nickhuang99 at hotmail dot com
Target Milestone: ---
The following snippet code should be rejected because "First" should be checked
with its default argument which is "char"
template<class T,class First=char>
void foo(First,T){}
template<>
void foo<double>(int,double){}
More information about the Gcc-bugs
mailing list