Never type is not resolved

[adaamz]

Bug report

I just copy-pasted code from first post in PR adding support for never type #1472, but it fails on current ~master (and 0.11.12).

Code snippet that reproduces the problem

https://phpstan.org/r/3b4b3c0a-4ff5-4028-a4d8-b0f668fcd1c7

Expected output

No error.

[ondrejmirtes]

Yeah, it's hard to differentiate between never - intended and never as a side-effect of unresolvable intersection type for example. There should be a property in NeverType that differentiates this.

[iluuu1994]

I have the same issue. Wanted to use never for the first time 🙁

[ondrejmirtes]

Fixed: 01a76d1