DIP69 - Implement scope for escape proof references

[Tobias Pankrath via Digitalmars-d]

>
> How would this be handled in the current proposal?
>
> class C
> {
>   int bar(ref T); // <-- inferred to be scope
> }
>
> class D : C
> {
>   override int bar(ref T); // <-- inferred to be NOT scope (but 
> cannot remove scope when overriding)
> }

Attribute inference only works for function literals and template 
functions. So no inference is done for both methods. Template 
methods can not be overwritten.