public abstract aspect AbstractAspect {
   interface X { }
   declare parents : Class extends X;
}