> So how much can the compiler ever guarantee anything, really? Well, the compiler is guaranteed that no mistakes will happen. It's the programmer who looses

> So how much can the compiler ever guarantee anything, really? Well, the compiler is guaranteed that no mistakes will happen. It's the programmer who looses his guarantees in this case.