On 5 December 2014 at 07:14, Walter Bright via Digitalmars-d <digitalmars-d@puremagic.com> wrote: > On 12/4/2014 10:45 AM, H. S. Teoh via Digitalmars-d wrote: >> >> However, AFAIK, template *classes* trigger attribute inference on its >> (non-template) member functions, so this would be problematic: >> >> class Base(T) { >> T data; >> void method(ref T); // inferred to be scope >> } >> >> class Derived : Base!int { >> override void method(ref T); // oops, cannot override >> } > > > I agree, it's a good point. Scope inference cannot be done for virtual > functions. I amended the DIP.
No comment...