Почему при реализации интерфейса не существует неявного литья возвращаемых типов?

Question

Компилятор C# не допускает следующее. В нем говорится, что реализация Cool в методе Jello ICool не возвращает IObject. Но Object - это IObject. Почему это не поддерживается?

interface ICool 
{ 
    IObject Jello(); 
} 

interface IObject 
{ 

} 

class Cool : ICool 
{ 
    public Object Jello() { return new Object(); } 
} 

class Object : IObject 
{ 

} 

Answer 1

Ниже приводится обходной путь для C# не поддерживает тип возвращаемого значения ковариации (см "Interface not implemented" when Returning Derived Type):

using System.Text; 
using System.Threading.Tasks; 

namespace CsharpFun 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      Object obj = (Object) new Cool().Jello(); 
     } 
    } 

    interface ICool<T> where T : IObject 
    { 
     T Jello(); 
    } 

    interface IObject 
    { 

    } 

    class Cool : ICool<Object> 
    { 
     public Object Jello() { return new Object(); } 
    } 

    class Object : IObject 
    { 

    } 
}