I think if you mark a function as pure the compiler guarantees that this is indeed the case.