[Issue 20875] [REG2.087.1] Enum template specialization ignored

d-bugmail at puremagic.com d-bugmail at puremagic.com
Fri May 29 10:33:10 UTC 2020


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

Dlang Bot <dlang-bot at dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Dlang Bot <dlang-bot at 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

--


More information about the Digitalmars-d-bugs mailing list