interface only-into {
  record r {}

  foo: func() -> r;
}