public aspect X {
  declare parents: SubCode extends Code;
}