[Issue 16472] Spurious "is used as a type" when aliasing enum template as default parameter

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu Feb 8 12:54:13 UTC 2018


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

Nick Treleaven <nick at geany.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nick at 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 at 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

--


More information about the Digitalmars-d-bugs mailing list