package foo:foo;

interface b {
  record the-type {
    f: u8,
  }
}

interface a {
  use b.{the-type};
}

interface b2 {
  use b.{the-type};
}

interface a2 {
  use b.{the-type};
}