(🐞) no error when overriding read only property with attribute not initialised in class body

[KotlinIsland]

class Foo: 
    @property
    def foo(self) -> int: ...
class Bar(Foo):
    foo: int
    def __init__(self) -> None:
       self.foo = 2  # runtime error
Bar()

playground

[AlexWaygood]

Closing in favour of #14413 (this bug report was filed first, but there's more description in #14413 of exactly why this behaviour is problematic)