with

A->B->C

you can have only

B

on

A

compile time classpath, but still invalidate

A

(and, obviously

B

) if

C

is modified.