You could, I guess, annotate C++ child classes as likely, and then perform this optimization. That'd be an extension to the standard of course.