In theory, a compiler can figure out that you don't need that in some cases.