为什么vb.net拒绝将嵌套协变接口赋值为“模糊”

Interface ISelf(Of Out TMe)
End Interface
Class SomeBase
    Implements ISelf(Of SomeBase)
End Class
Class SomeDerived
    Inherits SomeBase
    Implements ISelf(Of SomeDerived)
End Class
Module ISelfTester
    Sub TestISelf()
        Dim z7 As New SomeDerived
        Dim z8 As ISelf(Of SomeDerived)
        Dim z9 As ISelf(Of ISelf(Of SomeDerived))
        z8 = z7
        z9 = z8
        z9 = z7 ' Why is this illegal?
    End Sub
End Module

直接从Z7到Z9的赋值产生消息“错误13选项Strict On不允许从’wokka.SomeDerived’到’wokka.ISelf(Of Wokka.SomeDerived))的隐式转换’,因为转换是模糊的“.那个分配怎么比Z7到Z8,或Z8到Z9的分配更模糊？据我所知,所有三个赋值必须是表示保留转换,这意味着所有三个都必须简单地存储与Z7相同的对象的引用.

我可以理解,如果我试图将SomeDerived的实例分配给类型为ISelf(Of ISelf(Of SomeBase))的引用,则尝试访问该接口的成员可以从SomeBase或SomeDerived获得实现;如果该成员是一个返回类型为TMe的方法,我可以理解这种歧义可能导致编译失败(因为编译器不知道返回类型是什么).但是,我很困惑,为什么仅仅因为“模糊性”而仅仅尝试分配引用失败,因为赋值不能被解释为除了直接存储对引用类型变量的引用之外的任何东西？

顺便说一下,预期的用法是ISelf(Of T)包含一个只读属性类型为Self的类型,其预期的实现将是Return [在每种情况下保持表示的转换;我想我应该为TMe添加一个类约束,但它不会影响原始问题].如果有一个人感兴趣的各种类实现了ISelf(OfOwnTypes),那么应该可以利用ISelf的协方差来促进一些本来很困难的事情[例如如果每个类感兴趣的实现IMoe,ILarry和/或ICurly等,也实现相应的类ISelfAndMoe(Of ItsOwnType),ISelfAndLarry(Of ItsOwnType)和/或ISelfAndCurly(Of ItsOwnType)等等.可以接受已知实现这些接口的任何组合的参数类型,例如ISelfAndMoe(Of ISelfAndLarry(Of ICurly))param.鉴于该声明,param将实现IMoe,和param.Self将实现ILarry,并且param.Self.Self将自己实现.此外,如果类实现了预期的模式,那么可以使用castparamto egISelfAndCurly(Of IMoe),如果有人想要调用需要这两个接口但不需要ILarry的例程(如果实现做了意外的话,这样的转换可能会失败,但如果对象的类遵循预期的模式,则应该成功).