ALL:
  C.foo(x: T): Unit
  D.foo(x: F): Unit
DIRECT:
  C.foo(x: T): Unit
