On: Typed Properties in PHP 7.4

[TazeTSchnitzel]

The types being enforced at runtime can be seen as a last resort. It means static checkers can actually rely on the types being accurate as code which breaks the type contract won't run.