使用接口的隐式运算符

问：

我有一个泛型类，我正在尝试为其实现隐式类型转换。虽然它主要有效，但它不适用于接口转换。经过进一步调查，我发现存在一个编译器错误：“用户定义的接口转换”适用。虽然我知道这在某些情况下应该强制执行，但我试图做的似乎是一个合法的案例。

下面是一个示例：

public class Foo<T> where T : IBar
{
    private readonly T instance;

    public Foo(T instance)
    {
        this.instance = instance;
    }
    public T Instance
    {
        get { return instance; }
    }
    public static implicit operator Foo<T>(T instance)
    {
        return new Foo<T>(instance);
    }
}

使用它的代码：

var concreteReferenceToBar = new ConcreteBar();
IBar intefaceReferenceToBar = concreteReferenceToBar;
Foo<ConcreteBar> concreteFooFromConcreteBar = concreteReferenceToBar;
Foo<IBar> fooFromConcreteBar = concreteReferenceToBar;
Foo<IBar> fooFromInterfaceBar = intefaceReferenceToBar; // doesn't work

有谁知道解决方法，或者谁能以令人满意的方式解释为什么我不能隐式地转换为，因为在我的情况下它没有被转换，而只包含在 Foo 中？interfaceReferenceToBarFoo<IBar>

编辑：看起来协方差可能会提供救赎。我们希望 C# 4.0 规范允许使用协方差对接口类型进行隐式强制转换。