!7

sclass A {
  class InnerA {}
}

sclass B extends A {
  class InnerB extends InnerA { B outer() { ret B.this; } }
  
  *() { new InnerB; }
}

p-exp {
  O o = new B().new InnerB();
  printObjectLayout(o);
  print(struct(o));
  B.InnerB b = cast restructure(o);
  assertNotNull(b.outer());
  print("OK");
}