- π©πͺGermany donquixote
After all the doubts, this has been fixed exactly as proposed here in π Fix 'Access to an undefined property' PHPStan L0 errors - public properties Fixed .
Automatically closed - issue fixed for 2 weeks with no activity.