Bug report

When I run command line version 0.12.25 against my code, it gives me this error message:
Unreachable statement - code above always terminates.

Yet running the same code against the analyzer at phpstan.org correctly produces no error messages, as date_parse() returns array on success and false on error.

Code snippet that reproduces the problem

https://phpstan.org/r/658ea856-cdd6-4490-8d5f-92b34e773e73

Expected output

Success (no error messages).