问在多个泛型约束上没有隐式转换

EN

使用泛型构建一段C#代码我生成的代码如下所示：

public class Test<U,V,W>
    where U : V
    where V : W
{
    public W Cast(U argument)
    {
        return argument;
    }
}

return行无法编译(在mono 3.2.8.0：“无法隐式地将类型U转换为W")，即使看起来很清楚U必须是W的子类(从技术上讲，可能涉及到值类型，但即使所有三个泛型参数都被约束为引用类型，上面的代码也会失败)。如果U被约束为直接从W派生，那么一切都会正常工作。

上面的代码很容易修复(向V插入一个强制转换就足够了，这当然总是成功的)。不过，我有两个问题:最重要的是，为什么代码不能按原样编译？欢迎链接到C#规范的相关片段(如果有)！其次，(看似多余的)强制转换到V会在运行时引入(无用的)类型检查吗？