1 2 3 4 5 6 7
abstract class B {} aspect A { abstract void B.m(); public static void doit(B b) { b.m(); } }