phpstan 0.12.64

Release 0.12.64 · phpstan/phpstan · GitHub

PHPStan can now understand relationships between different variables. Cases like these are now understood correctly

そう。