@BaruchAtta: transforming an car residence into a non auto property or vice-versa will not break the interface. An interface says that there'll certainly be a getter or setter house, not how which is executed. In truth, without considering the code, the only way to inform the real difference is by looking at the generated IL and looking at that one