[Issue 2904] New: template instantiation of non template allowed

[d-bugmail]

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

           Summary: template instantiation of non template allowed
           Product: D
           Version: 1.043
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Keywords: accepts-invalid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzi...@digitalmars.com
        ReportedBy: to...@famolsen.dk


DMD accepts the following code:

bar.d:
=========
class A {
        void method(char[] f) {}
}
static this() {
        (new A).method!()("foo");
        //(new A).method("foo");
}
=========

$ dmd bar.d -c
$ nm bar.o | grep method
00000000 T _D3bar12_staticCtor1FZv6methodMFAaZv
$

If valid syntax is used the symbol is correct:

bar.d:
=========
class A {
        void method(char[] f) {}
}
static this() {
        //(new A).method!()("foo");
        (new A).method("foo");
}
=========

$ dmd bar.d -c
$ nm bar.o | grep method
00000000 T _D3bar1A6methodMFAaZv
$

I got this from LDC ticket: http://dsource.org/projects/ldc/ticket/261
So apparently people are using this for something :/ The AST seems somewhat
broken, so making it work none-the-less (which of course we shouldn't) in LDC
seems a bit problematic.


--