[Issue 9934] New: template default argument should be semantically analysed

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=9934

           Summary: template default argument should be semantically
                    analysed
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: code at dawg.eu


--- Comment #0 from Martin Nowak <code at dawg.eu> 2013-04-14 23:08:01 PDT ---
cat > bug.d << CODE
template foo(T = NonExistent)
{
}
CODE

dmd -c bug

----

This currently compiles even though the default parameter can never be valid.
When the default parameter is a template instance it is missing from the object
file. I think we should run full semantics on the default arguments when
compiling a module.

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