Действительно ли это - ошибка ковариантности в C# 4?

В следующей части кода я ожидал мочь неявно бросить от elements кому: baseElements потому что TBase неявно конвертируемо к IBase.

public interface IBase { }
public interface IDerived : IBase { }
public class VarianceBug
{
    public void Foo<TBase>() where TBase : IBase
    {
        IEnumerable<TBase> elements = null;
        IEnumerable<IDerived> derivedElements = null;
        IEnumerable<IBase> baseElements;

        // works fine
        baseElements = derivedElements;

        // error CS0266: Cannot implicitly convert type 
        //   'System.Collections.Generic.IEnumerable<TBase>' to 
        //   'System.Collections.Generic.IEnumerable<IBase>'. 
        //   An explicit conversion exists (are you missing a cast?)
        baseElements = elements;
    }
}

Однако я получаю ошибку, которая упоминается в комментарии.

Заключение в кавычки от спецификации:

Тип T<A1, …, An> конвертируемо в различие к типу T<B1, …, Bn> если T или интерфейс или тип делегата, объявленный с различными параметрами типа T<X1, …, Xn>, и для каждого различного параметра типа Xi одно из следующего содержит:

• Xi является ковариантным и неявная ссылка, или преобразование идентификационных данных существует от Ai кому: Bi

• Xi контравариант и неявная ссылка, или преобразование идентификационных данных существует от Bi кому: Ai

• Xi является инвариантным, и преобразование идентификационных данных существует от Ai кому: Bi

Проверяя мой код, это, кажется, согласовывается со спецификацией:

• IEnumerable<out T> интерфейсный тип

• IEnumerable<out T> объявляется с различными параметрами типа

• T является ковариантным

• неявное ссылочное преобразование существует от TBase кому: IBase

Таким образом - действительно ли это - ошибка в компиляторе C# 4?