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. --