Alain Williams wrote (on 14/07/2014):
This sort of error should be picked up the first time that the script is compiled, it does not need to be executed (other than conditional includes). This means that these errors will be picked up very quickly.
So, it doesn't need to be executed ... except when it does (I can think of a few other cases where it's non-trivial to write a compile-time check).
There are plenty of static analysis tools which will pick up this kind of thing, but if you want a language with strict compile-time checks, use Hack, which eliminates certain dynamic PHP features in order to make stronger guarantees.
Regards, -- Rowan Collins [IMSoP] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php