Thread overview
[Issue 9018] New: __traits(compiles, ...) is true on second check for same incompilable code
Nov 13, 2012
Denis Shelomovskij
Nov 15, 2012
Kenji Hara
Jan 13, 2013
yebblies
Jan 13, 2013
Andrej Mitrovic
Jan 13, 2013
yebblies
Jan 13, 2013
Andrej Mitrovic
Jan 13, 2013
Andrej Mitrovic
November 13, 2012
http://d.puremagic.com/issues/show_bug.cgi?id=9018

           Summary: __traits(compiles, ...) is true on second check for
                    same incompilable code
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: verylonglogin.reg@gmail.com


--- Comment #0 from Denis Shelomovskij <verylonglogin.reg@gmail.com> 2012-11-13 23:22:49 MSK ---
---
template Inst(alias Template, T)
{ alias Template!T Inst; }

template Template(T)
{ enum Template = T; }

static assert(!__traits(compiles, Inst!(Template, int))); // Assert passes
static assert(!__traits(compiles, Inst!(Template, int))); // Assert fails
---

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
November 15, 2012
http://d.puremagic.com/issues/show_bug.cgi?id=9018


Kenji Hara <k.hara.pg@gmail.com> changed:

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


--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> 2012-11-15 09:17:32 PST ---
https://github.com/D-Programming-Language/dmd/pull/1294

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
November 16, 2012
http://d.puremagic.com/issues/show_bug.cgi?id=9018



--- Comment #2 from github-bugzilla@puremagic.com 2012-11-16 01:48:31 PST ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/f60d9238e261c756caded36012f0415710a0b63a
fix Issue 9018 - __traits(compiles, ...) is true on second check for same
incompilable code

https://github.com/D-Programming-Language/dmd/commit/f968f3c29d10d537d1f9f039151eed6df70d5fe5 Merge pull request #1294 from 9rnsr/fix9018

Issue 9018 - __traits(compiles, ...) is true on second check for same
incompilable code

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 13, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9018


yebblies <yebblies@gmail.com> changed:

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


--- Comment #3 from yebblies <yebblies@gmail.com> 2013-01-13 15:10:22 EST ---
Fixed?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 13, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9018


Andrej Mitrovic <andrej.mitrovich@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrej.mitrovich@gmail.com


--- Comment #4 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-01-12 20:11:09 PST ---
(In reply to comment #3)
> Fixed?

Shouldn't closing be automatic? I don't understand why it doesn't happen anymore..

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 13, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9018



--- Comment #5 from yebblies <yebblies@gmail.com> 2013-01-13 15:20:10 EST ---
(In reply to comment #4)
> (In reply to comment #3)
> > Fixed?
> 
> Shouldn't closing be automatic? I don't understand why it doesn't happen anymore..

It was never automatic. The commits are not always complete fixes, so it probably shouldn't be automatic.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 13, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9018



--- Comment #6 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-01-12 20:24:03 PST ---
(In reply to comment #5)
> It was never automatic. The commits are not always complete fixes, so it
probably shouldn't be automatic.

That makes sense. I've misinterpreted what it meant to add 'fix issue ####' in the commit message.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 13, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9018


Andrej Mitrovic <andrej.mitrovich@gmail.com> changed:

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


--- Comment #7 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-01-12 20:32:10 PST ---
Seems to be fixed in 2.061 release.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------