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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> ---
@NilsLankila created dlang/dmd pull request #11193 "fix issue 20875 -
specialization ignored for template alias param useā€¦" fixing this issue:

- 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

--

Reply via email to