Consider adding `never` as a union type, separate from void/null/undefined

TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

Other

0 stars 0 forks source link

Open TysonAndre opened 6 years ago

TysonAndre commented 6 years ago

Can be used to override the declared return type
Can be inferred if a function body always throws, in global functions and final/private methods
cannot cast to types other than never
It can cast to other types, other types can't cast to it

Not sure if this will have many use cases