Variance non valide : Le paramètre de type "T" doit être invariablement valide sur "xxx.IItem<T>.GetList()". T' est covariant

Question

Pourquoi le code suivant génère-t-il une erreur ?

Variance non valide : Le paramètre de type "T" doit être invariablement valide sur 'UserQuery.IItem<T>.GetList()'. T' est covariant.

public interface IFoo {}
public interface IBar<T> where T : IFoo {}

public interface IItem<out T> where T: IFoo
{
    IEnumerable<IBar<T>> GetList();
}

Answer 1

Les interfaces IBar y IItem ne sont pas d'accord sur la variance : dans votre IBar déclaration, le T n'est pas covariant, puisqu'il n'y a pas de out alors qu'en IITem le T est covariant.

Answer 2

Le code suivant éliminera l'erreur.

public interface IFoo {}
public interface IBar<out T> where T : IFoo {}

public interface IItem<out T> where T: IFoo
{
    IEnumerable<IBar<T>> GetList();
}