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!