[Bug c++/83426] template argument involves template parameters with implicit integral conversion

[ppalka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83426

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-bisection             |
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #6 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Although we accept such partial specializations ever since r12-1093, the
implicit conversion seems to mess with deduction, and the partial
specialization ends up being effectively unusable much like PR60679:

template<char C1, char C2>
struct X;

template<int C1>
struct X<C1, 5> { };

X<5, 5> x; // error: aggregate ‘X<'\005', '\005'> x’ has incomplete type and
cannot be defined