ALL:
  test/A.x(obj: T): Unit
DIRECT:
  test/A.x(obj: T): Unit
INTERSECTION:
