为什么对继承的方法签名检查这么严格？

下面这段代码编译是不通过的，但是从OO的角度，大家觉得它应该编译通过吗？
借人气问一下，得到答案就从首页候选上拿下来。

 1 class BaseType
 2 {}
 3 
 4 class ChildType : BaseType
 5 {}
 6 
 7 interface MyInterface
 8 {
 9   void TestOO(BaseType enti);
10 }
11 
12 class MyClass : MyInterface
13 {
14   public void TestOO(ChildType child) { }
15 }