Bug 9840 – Methods in templates should likely not require the 'this' reference

struct S { template T() { bool get() { return true; } enum bool T = get(); } } void main() { S s; S.T!(); // NG s.T!(); // NG } The 'get' function cannot be called even if we have a this reference. But I don't think the above should require a this reference. It's an inner method that doesn't touch any fields of struct S. The workaround is to mark the inner function as static.

Do you really want it to automatically make inner methods static? That seems like a bit much.

(In reply to comment #1) > Do you really want it to automatically make inner methods static? That seems > like a bit much. No. I always forget that templated functions are really: template foo(T) { void foo(T t) { } } So that was my mistake. But I think the call through the instance should work, no?

(In reply to comment #2) > (In reply to comment #1) > > Do you really want it to automatically make inner methods static? That seems > > like a bit much. > > No. I always forget that templated functions are really: > > template foo(T) > { > void foo(T t) { } > } > > So that was my mistake. But I think the call through the instance should work, > no? But you never call it through an instance. 'get' only gets called from the enum's initializer, which does _not_ have an instance.

(In reply to comment #3) > But you never call it through an instance. 'get' only gets called from the > enum's initializer, which does _not_ have an instance. Ah, good point. This issue is invalid.