[pjmlp]

This is common when doing LTO, without it there is no guarantee that there isn't some dynamically loaded code that would be broken, this is one area where JIT focused languages have an advantage.

[gpderetta]

Indeed you need LTO for generalized devirtualization, but guarded devirtualization, static classes and final can still help even without LTO.