Or the compiler (or optimizer) may be able to detect that there are no subclasses of B1 anywhere in the program that override f1.
コンパイラ（あるいは最適化プログラム）はプログラム内に f1 をオーバーライドする B1 のサブクラスがないことを検出することができるかもしれない。