no good prediction on whetter a variable can not be null

[thepercival]

Bug report

The code snippets of psalm and phpstan latest version with php 8

Code snippet that reproduces the problem

https://phpstan.org/r/0d833a50-4967-4faf-941f-007bd8e6736e
in psalm no problem
https://psalm.dev/r/aec4bc6fc7

Expected output

OK

[phpstan-bot]

@thepercival After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-PHP 8.0 (1 error)
+PHP 8.0
 ==========
 
-14: Cannot call method __toString() on Stringable|null.
+No errors
 
 PHP 7.1 – 7.4 (3 errors)
 ==========

Full report

PHP 8.0

No errors

PHP 7.1 – 7.4 (3 errors)

Line	Error
5	Method HelloWorld::getDescription() uses native union types but they're supported only on PHP 8.0 and later.
5	Parameter $someObject of method HelloWorld::getDescription() has invalid typehint type stringable.
14	Call to method __toString() on an unknown class stringable.

[thepercival]

Great! Thanks a lot. Also for making this great tool available

[ondrejmirtes]

Thanks :) Fixed: phpstan/phpstan-src@2c42ef1

[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.