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

下面这段代码编译是不通过的，但是从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  }