1package foo:foo;
2
3interface a {
4  record foo {}
5
6  a: func() -> foo;
7}
8
9interface b {
10  use a.{foo};
11
12  a: func() -> foo;
13}
14
15interface c {
16  use b.{foo};
17
18  a: func() -> foo;
19}
20
21world d {
22  import a;
23  import b;
24  import d: interface {
25    use c.{foo};
26
27    b: func() -> foo;
28  }
29}
30