> Could this be a rare case of the mythical sufficiently smart compiler having more information at runtime than the programmer has at coding time [...] Mythica

> Could this be a rare case of the mythical sufficiently smart compiler having more information at runtime than the programmer has at coding time [...] Mythical? Isn't this the core concept behind optimizing JITs?