Repository navigation
Incorrect type narrowing of superglobal with dependent types #14421
Description
Bug report
This is a variation on #14411, with variable $a replaced with some key on some superglobal. Curiously, I can’t reproduce it when I replace the superglobal with a variable of type array.
Code snippet that reproduces the problem
https://phpstan.org/r/31cf6c8e-c600-4d2b-a060-93d1ee09845f
Expected output
No error on line 15
Did PHPStan help you today? Did it make you happy in any way?
No response
Activity
Fix incorrect type narrowing of superglobal with dependent types
github-actions commentedon Oct 13, 2026
This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.