Bug report

In linked snippet from phpstan.org is no error but I expected as same result as I get when uncomment line 18. Or never is only alias for void?

Code snippet that reproduces the problem

https://phpstan.org/r/f1170feb-520f-43be-88f5-02598b80d19c

Expected output

| 19   | Unreachable statement - code above always terminates. |