package foo:bar;

interface foo4 {
  resource y;

  record r {
    y: borrow<y>
  }

  f: func(a: list<r>);
}

world x {
  export foo4;
}