Wrong understanding of array content in ternary operator

[zeleznypa]

Bug report

PHPStan shows the error, that „Else branch“ is unreachable in ternary operator, but it is not true.

Code snippet that reproduces the problem

https://phpstan.org/r/5004a3b9-ccaa-4a72-8d05-32263f9bc57f

Expected output

Expected output is correct state:

https://3v4l.org/4PNGk

Did PHPStan help you today? Did it make you happy in any way?

Sometimes PHPStan find for me a very ugly bug like wrong position of closing brackets.

[phpstan-bot]

@zeleznypa After the latest push in 1.8.x, PHPStan now reports different result with your code snippet:

@@ @@
 19: Else branch is unreachable because ternary operator condition is always true.
-21: Method Foo::test() should return array<'return'|int, string> but returns array<string, ''>.
+21: Method Foo::test() should return array<'return'|int, string> but returns array<int|string, ''>.

Full report

Line	Error
19	Else branch is unreachable because ternary operator condition is always true.
21	`Method Foo::test() should return array<'return'

[github-actions]

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.