Resharper suggests to change a property with an explicit backing field to an auto-property even when that property is declared in an interface that specifies only the getter. Oviously, trying to make it automatically change the code to follow the suggestion, it generates an error:

Gives

Is this wanted? It seems confusing from a user standpoint