Incorrect dead-code detection after adding literal "exit" onto an array via array_push() #13288
Description
Bug report
Somehow, PHPStan misinterprets the literal string in array_push($a, "exit") and considers following code as dead code.
Code snippet that reproduces the problem
https://phpstan.org/r/5f1bf316-49c4-41f7-904b-97d9fc9fa144
Expected output
No “deadCode.unreachable” error on line 5.
Did PHPStan help you today? Did it make you happy in any way?
No response