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