fromtypingimportProtocol, runtime_checkable@runtime_checkableclassX(Protocol): @propertydefmyproperty(self): ... classY: @propertydefmyproperty(self): raiseRuntimeError("hallo") isinstance(Y(), X)This is an issue, for example, if myproperty is an expensive call, has unwanted side effects, or excepts outside of a context manager