Java: Statically check that two pair of classes implement a certain function

Let's say I have two abstract classes A1 and A2. Is there a way to ensure that every combination of (C1 extends A1, C2 extends A2) has a certain operation() defined? I want to make sure the code does not compile if there's even one combination of two children that does not provide an implementation for operation().