Mengapa 'ref' dan 'out' tidak mendukung polimorfisme?

Ambil yang berikut ini: class A {} class B : A {} class C { C() { var b = new B(); Foo(b); Foo2(ref b); // <= compile-time error: // "The 'ref' argument doesn't match the parameter type" } void Foo(A a) {} void Foo2(ref A a) {} } Mengapa kesalahan waktu kompilasi di atas...