ID
Он их тогда чутка инструментирует и на основе этой инструментации кода оптимизирует.
А если без межмодульной, то девертуализация возможна по нормальному лишь в случае, если все виртуальные вызовы видны, и если реализация интефейса помечена как final.