Release 0.12.64 · phpstan/phpstan · GitHub PHPStan can now understand relationships between different variables. Cases like these are now understood correctly そう。