Thread overview
[Issue 20762] __traits(isSame) is underspecified for enums and literals
Apr 23, 2020
Max Samukha
May 24, 2020
Adam D. Ruppe
May 24, 2020
Adam D. Ruppe
Sep 03, 2021
Basile-z
Dec 17, 2022
Iain Buclaw
April 23, 2020
https://issues.dlang.org/show_bug.cgi?id=20762

Max Samukha <maxsamukha@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|enhancement                 |normal

--
May 24, 2020
https://issues.dlang.org/show_bug.cgi?id=20762

Adam D. Ruppe <destructionator@gmail.com> changed:

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

--- Comment #1 from Adam D. Ruppe <destructionator@gmail.com> ---
I'm of the opinion that the current behavior of `static assert(__traits(isSame, x, 1));` is buggy because of that line in the spec. It also affects eponymous templates which are otherwise indistinguishable from the literal (which is a good thing - major optimization opportunity in the compiler by taking advantage of this).

But either way, it needs to be very clearly defined.

--
May 24, 2020
https://issues.dlang.org/show_bug.cgi?id=20762

--- Comment #2 from Adam D. Ruppe <destructionator@gmail.com> ---
But, on the other hand:

@(1) enum e = 1;
pragma(msg, __traits(getAttributes, e));

is currently legal meaning e indeed has a distinct identity from 1. So perhaps the spec does need clarification rather than the implementation.

--
September 03, 2021
https://issues.dlang.org/show_bug.cgi?id=20762

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=22269

--
December 17, 2022
https://issues.dlang.org/show_bug.cgi?id=20762

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P3

--
December 13
https://issues.dlang.org/show_bug.cgi?id=20762

--- Comment #3 from dlangBugzillaToGithub <robert.schadek@posteo.de> ---
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/19695

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB

--