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