interface A {} interface B extends A {} class C implements A {} interface A1 {} class D extends C implements A1 { } aspect X { declare parents: D implements B; }