Inheritance of purity

[H. S. Teoh]

On Fri, Feb 17, 2012 at 05:27:11PM +0000, Michal Minich wrote:
[...]
> Will the 'inheritance' of attributes work for interfaces too?
> 
>      interface I { void foo() @safe pure nothrow const; }
>      class B : I { void foo() { } }  // is it @safe pure nothrow const ?

I think it would make sense to do this.


--T