Thread overview
[Issue 16472] Spurious "is used as a type" when using enum template member as default parameter
Jul 21, 2017
Vladimir Panteleev
[Issue 16472] Spurious "is used as a type" when aliasing enum template as default parameter
Feb 08, 2018
Nick Treleaven
May 06, 2018
Manu
Mar 29, 2021
Dlang Bot
Apr 04, 2021
Dlang Bot
July 21, 2017
https://issues.dlang.org/show_bug.cgi?id=16472

Vladimir Panteleev <dlang-bugzilla@thecybershadow.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|template alias parameter    |Spurious "is used as a
                   |bug                         |type" when using enum
                   |                            |template member as default
                   |                            |parameter

--
February 08, 2018
https://issues.dlang.org/show_bug.cgi?id=16472

Nick Treleaven <nick@geany.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nick@geany.org
            Summary|Spurious "is used as a      |Spurious "is used as a
                   |type" when using enum       |type" when aliasing enum
                   |template member as default  |template as default
                   |parameter                   |parameter

--- Comment #1 from Nick Treleaven <nick@geany.org> ---
Reduced:

enum e() = 0;

template t(alias v = e!()) {} //Error
alias dummy = t!();

No error if you define `t` without `alias`:

template t(int v = e!()) {} //OK

--
May 06, 2018
https://issues.dlang.org/show_bug.cgi?id=16472

--- Comment #2 from Manu <turkeyman@gmail.com> ---
This has come up again... is annoying!

--
March 29, 2021
https://issues.dlang.org/show_bug.cgi?id=16472

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

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

--- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> ---
@thewilsonator created dlang/dmd pull request #12316 "Fix issue 16472: Spurious "is used as a type" when aliasing enum temp…" fixing this issue:

- Fix issue 16472: Spurious "is used as a type" when aliasing enum template as default parameter

https://github.com/dlang/dmd/pull/12316

--
April 04, 2021
https://issues.dlang.org/show_bug.cgi?id=16472

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

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

--- Comment #4 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #12316 "Fix issue 16472: Spurious "is used as a type" when aliasing enum temp…" was merged into master:

- 860d161e4476ce7536e012d2baf4f5c3dc1f0581 by Nicholas Lindsay Wilson:
  Fix issue 16472: Spurious "is used as a type" when aliasing enum template as
default parameter

https://github.com/dlang/dmd/pull/12316

--