interface A {} interface B extends A {} class C implements A {} class D extends C {} aspect X { declare parents: D implements B; // Can do it, parameterizations are compatible }