www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 965] New: incorrect result for "is(BadTemplate!())"

reply d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=965

           Summary: incorrect result for "is(BadTemplate!())"
           Product: D
           Version: 1.005
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P3
         Component: DMD
        AssignedTo: bugzilla digitalmars.com
        ReportedBy: thomas-dloop kuehne.cn


This is a variation of issue #826

# class Templ(T){
#    this(){
#       unknown_identifier = 0;
#    }
# }
# 
# static assert(false == is(Templ!(int)));

bug_e2ir_520_C.d(18): static assert  (0 == 1) is false

test case:
http://dstress.kuehne.cn/compile/b/bug_e2ir_520_B.d


-- 
Feb 15 2007
next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=965





------- Comment #1 from bugzilla digitalmars.com  2007-08-12 21:56 -------
This is happening because compiling this()'s body is not necessary to determine
the type. Not sure if this is a bug or not.


-- 
Aug 12 2007
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=965


Max Samukha <samukha voliacable.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |samukha voliacable.com


--- Comment #2 from Max Samukha <samukha voliacable.com> 2009-10-28 06:58:04
PDT ---
*** Issue 3416 has been marked as a duplicate of this issue. ***

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