Por que 'ref' e 'out' não suportam polimorfismo?

Faça o seguinte: 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) {} } Por que ocorre o erro em tempo de compilação acima? Isso...