[Issue 14357] Match on specType does not check the conflict with already deduced template arguments

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14357

Ketmar Dark <ketmar at ketmar.no-ip.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ketmar at ketmar.no-ip.org

--- Comment #2 from Ketmar Dark <ketmar at ketmar.no-ip.org> ---
the patch seems to break std.bitmanip unittests:

bitmanip.d(284): Error: template instance taggedPointer!(uint*, "x", bool,
"b1", 1, bool, "b2", 1) does not match template declaration taggedPointer(T :
T*, string name, Ts...)
bitmanip.d(396): Error: template instance taggedPointer!(int*, "a", uint, "b",
2) does not match template declaration taggedPointer(T : T*, string name,
Ts...)

--