https://psalm.dev/r/f0411b4fa2

An abstract constructor cannot contain any code, therefore reporting PropertyNotSetInConstructor on the class does not make sense (line 7)
Btw without the abstract constructor it works correctly (no false positive error): https://psalm.dev/r/39534b5051