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

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |razvan.nitu1305@gmail.com

--- Comment #1 from RazvanN <razvan.nitu1305@gmail.com> ---
I think that passing a runtime variable to an alias parameter should be an error.

--

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

Max Samukha <maxsamukha@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |maxsamukha@gmail.com

--- Comment #2 from Max Samukha <maxsamukha@gmail.com> ---
Would that break tons of reflective code like this?

// any template extracting compile-time info
template hasAttr(alias symbol, alias attr) {
        import std.meta;
        enum _f(alias s) = __traits(isSame, s, attr);
        alias hasAttr = anySatisfy!(_f, __traits(getAttributes, symbol));
}

struct attr {
}

int main() {
        @attr int x;
        static assert(hasAttr!(x, attr)); // wouldn't work anymore
        return 0;
}

--

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

--- Comment #3 from RazvanN <razvan.nitu1305@gmail.com> ---
(In reply to Max Samukha from comment #2)
> Would that break tons of reflective code like this?
> 
> // any template extracting compile-time info
> template hasAttr(alias symbol, alias attr) {
> 	import std.meta;
> 	enum _f(alias s) = __traits(isSame, s, attr);
> 	alias hasAttr = anySatisfy!(_f, __traits(getAttributes, symbol));
> }
> 
> struct attr {
> }
> 
> int main() {
> 	@attr int x;
> 	static assert(hasAttr!(x, attr)); // wouldn't work anymore
> 	return 0;
> }

Yes. I tried working out a particular solution where only dotId expressions (such as the one on the original bug report) are excluded if the member is not a static one and it still breaks code in the dmd testsuite. It really is a rats nest.

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P3

--