www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 9018] New: __traits(compiles, ...) is true on second check for same incompilable code

reply d-bugmail puremagic.com writes:
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: -------
Nov 13 2012
next sibling parent d-bugmail puremagic.com writes:
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: -------
Nov 15 2012
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Nov 16 2012
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 12 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 12 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 12 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 12 2013
prev sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 12 2013