Yeah, but in this context you have to hope the compiler realizes that you have self-imposed a static-only data model in a language that otherwise supports dynamic assignment.
That's what I'm saying—you don't have to "hope." You can look at what information you've provided to the compiler through your code, and deduce from that, what optimizations are possible to make on that code.
From there, you just have to know whether the compiler you're using supports those optimizations. If it does, and your code should have them, but it doesn't end up having them—well, that's a bug in your compiler, and you should report it as such!
If there were a clearly-more-efficient query plan possible to generate for a query of a particular data model in an RDBMS, and your RDBMS failed to come up with said query plan, you'd consider that a bug in your RDBMS, no? Well, same thing here.
