package a:b;

@unstable(feature = not-active)
world a {}

world b {
  include a;
}