So now the compiler should also statically figure out how long some code is going to take to run? Chances are I want the compiler that gives me a binary that d

So now the compiler should also statically figure out how long some code is going to take to run? Chances are I want the compiler that gives me a binary that does its job in 2 hours rather than 6.