interface i1 {
  type t = u32
}
interface i2 {
  use self.i1.{t}
}
interface i3 {
  use self.i2.{t}
}

world test {
  import i1: interface {}

  export i4: self.i1
  export i5: self.i3
}