@stefanzweifel@regis yea I see, I was just curious about what is the obstacle. Also way more competent with psalm than phpstan myself, magic properties are still possible but you would need to define a lot of psalm types. I think more or less the same for phpstan too.
It’s quite a bit of difference in the code in level 5 and then level 3 and then level 1 (reverse these for phpstan).
I tend to like the way you need to write the code in the max level because it ends up being guided a lot.