public void f3(D d) { // D has no subclass; so no multiple run-type versions of foo is possible. // So, no encoding is needed. d.foo(0); }
void bar(D d) { d.foo(1, 2) }