V Thu, 16 Feb 2012 18:49:40 -0800, Walter Bright wrote: > Given: > > class A { void foo() { } } > class B : A { override pure void foo() { } } > > This works great, because B.foo is covariant with A.foo, meaning it can > "tighten", or place more restrictions, on foo.
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 ?