package foo:empty;

interface empty {
}

world empty-world {
  import empty;
  import empty: interface {
  }

  export empty;
  export empty2: interface {
  }
}
world actually-empty-world {
}