never return type should lead to error when used #11909
Description
Bug report
I think we are missing some errors in the given snippet
Code snippet that reproduces the problem
https://phpstan.org/r/726ae4ab-c94a-4b7c-827c-f0c80e677221
Expected output
- error on line 7 where we
echothenever-type - error on line 8 because its dead code after a function call with
nevertype
Did PHPStan help you today? Did it make you happy in any way?
No response