package foo:foo;

world c {

}

interface foo {
  use a.{t};
}