如何强制实现 c# 10 的静态接口属性？

Question

c# 10 的静态接口属性显然是自动实现的。如何强制覆盖它？

    public interface IModelLogicEventSubsciptions
    {
        static EventSubscriptionType EventSubscriptions { get; }
    }

    public interface AnyClass : IModelLogicEventSubsciptions
    {
        //static EventSubscriptionType EventSubscriptions { get; }
    }

Answer 1

解决方法是将接口成员标记为抽象

public interface IModelLogicEventSubsciptions
{
    static abstract EventSubscriptionType EventSubscriptions { get; }
}