Comment by vrighter

the only difference is that the compiler always looks at the whole code and if it says it can do something, it can, always, and without fail.