Purity, @safety, etc., in generic code

[Steven Schveighoffer]

On Fri, 22 Feb 2013 11:09:31 -0500, Steven Schveighoffer  
<schveiguy at yahoo.com> wrote:

>
> class X {}
> class Y : X {}
>
> class A {
>     void foo(Y y) {}
> }
>
> class B {
>     override void foo(X x) {}
> }

Oops, should be class B : A

-Steve