1 2 3 4 5 6 7 8 9 10 11
/** @testcase PR853 declare class implements class CE */ class C {} class B {} aspect A { declare C implements B; // CE 10 }