接口属性协变重写的语法是什么

Question

根据此处的规范，

接口方法、属性和索引器覆盖

通过在C#8.0中添加DIM功能，添加到接口中允许的成员类型中，我们进一步添加了对重写成员的支持以及协变返回。

我正在尝试使以下协变覆盖生效，但找不到语法示例。你能帮忙吗？

public interface IFoo{}
public interface IFuzz:IFoo{}
public interface IBar
{
IFoo Foo {get;}
}
public interface IBaz:IBar
{
//override IFuzz IBar.Foo Foo {get;}  //This syntax isn't correct.
}

也许我误解了说明书？帮助

Answer 1

Doh。我没有把说明书读清楚。如果你遇到同样的问题(截至2022年2月(，这是上面引用的部分的开头：

以下规范草案的其余部分提出了对接口方法协变返回的进一步扩展，稍后将进行考虑

它还不存在。