确保方法实现接口而不是显式实现：是否存在＆＃34; EnsureImplementsInterface＆＃34; ReSharper属性？

Question

鉴于以下示例代码，我希望能够注释一个方法绝对需要实现一个接口。

interface X {
    void a(string x);
}

class Y : X {
    [EnsureImplementsInterface]
    public void a(string x) { .. }

    [EnsureImplementsInterface] // Should result in some form of "error"
    public void a(object x) { .. }
}

显式接口实现不合适，因为主要用途是通过＆＃39; var＆＃39;使用陈述;此外，更改为显式接口会破坏现有合同。

override关键字不适用/不可用，因为没有覆盖任何方法，C＃也不会那样。