package foo:bar;

interface foo3 {
  resource a;
  type b = a;
  f1: func(a: borrow<a>);
  f2: func(b: borrow<b>);
}

world x {
  export foo3;
}