Почему не может производный класс переопределять базовое свойство типа интерфейса типа с типом, который расширяет этот интерфейс?

Question

В следующем коде компилятор жалуется на то, что B не выполняет TestProperty абстрактного класса A. ITest2 происходит от ITest1, поэтому он реализует все, что есть ITest1 имеет. Почему это невозможно?

public interface ITest1 { } 
public interface ITest2 : ITest1 { } 

public abstract class A 
{ 
    public abstract ITest1 TestProperty { get; set; } 
} 

public class B:A 
{ 
    public override ITest2 TestProperty { get; set; } 
} 

Answer 1

Это будет не безопасно, так как вы могли бы сделать:

interface ITest3 : ITest1 { } 
public class Test3 : ITest3 { } 

A b = new B(); 
b.TestProperty = new Test3(); 

однако Test3 не реализует ITest2 в соответствии с требованиями B.

Answer 2

сделать класс родовое

Public abstract class A<TTest> 
    Where TTest : ITest1 
{ 
    Public abstract TTest TestProperty {get; set;} 
} 

Public class B : A<ITest2> 
{ 
.... 
}