https://issues.dlang.org/show_bug.cgi?id=20875
Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> --- dlang/dmd pull request #11193 "fix issue 20875 - specialization ignored for template alias param useā¦" was merged into stable: - bcdf8523e73579748dc6ad86e41eb84526c156a1 by Nils Lankila: fix issue 20875 - specialization ignored for template alias param used with type The "regression" was introduced by https://github.com/dlang/dmd/pull/9769. The problem was actually more than the check for the template parameter specialization was not done yet, so this is more a new case of "accept invalid" than a "regression". This new check consists into verifying that a type passed to a template alias parameter implicitly converts to the one used as template specialization. In addition a new error is introduced, in case where the specialization would not be a type, since checking for implicit convertion makes no sense anymore. https://github.com/dlang/dmd/pull/11193 --