[steveklabnik]

You don't need to solve the halting problem to push bounds checks to compile time, you need dependent types.