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

使用泛型构建一段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会在运行时引入(无用的)类型检查吗?