[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

--- Comment #3 from Kenji Hara <k.hara.pg at gmail.com> ---
(In reply to Ketmar Dark from comment #2)
> 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...)

The first version had a bug so it broke dmd test suite. then I updated pull
request to fix the issues.

--