Bug 14357 – Match on specType does not check the conflict with already deduced template arguments

SDC errors as follows: ``` > ../bin/sdc test0128.d return Qux!(float**, int*); ^~~~~~~~~~~~~~~~~~~~ test0128.d:10: error: No match ``` DMD compiles this erroneously: ```test0128.d //T compiles:no //T has-passed:yes // Test invalid specialisation. template Qux(T : U*, U : V*, V) { enum Qux = T.sizeof + V.sizeof; } int main() { return Qux!(float**, int*); } ```

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...)

(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.

thank you. it's a pity that bugzilla has no notifications about patch updates...

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/94f89154f92ec87161e0dc5f300877a57924f141 fix Issue 14357 - Match on specType does not check the conflict with already deduced template arguments https://github.com/D-Programming-Language/dmd/commit/e52882477ff8f0f3fa9f653ec54d806a3bd7f508 Merge pull request #4530 from 9rnsr/fix14357 Issue 14357 - Match on specType does not check the conflict with already deduced template arguments

Commits pushed to stable at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/94f89154f92ec87161e0dc5f300877a57924f141 fix Issue 14357 - Match on specType does not check the conflict with already deduced template arguments https://github.com/D-Programming-Language/dmd/commit/e52882477ff8f0f3fa9f653ec54d806a3bd7f508 Merge pull request #4530 from 9rnsr/fix14357