Bug report
sha1() always returns an non-empty string, but PHPStan only knows that is returns a string.
Code snippet that reproduces the problem
(https://phpstan.org/r/71927adb-e196-4f85-a3c9-cc917eb4aa49)
Expected output
No error.
Did PHPStan help you today? Did it make you happy in any way?
Oh yes! It helps me a lot improving TYPO3! Happy Easter!
Bug report
sha1()always returns an non-empty string, but PHPStan only knows that is returns a string.Code snippet that reproduces the problem
(https://phpstan.org/r/71927adb-e196-4f85-a3c9-cc917eb4aa49)
Expected output
No error.
Did PHPStan help you today? Did it make you happy in any way?
Oh yes! It helps me a lot improving TYPO3! Happy Easter!