1package a:b;
2
3world imports {
4  import interface-with-live-type;
5  import interface-with-dead-type;
6}
7
8interface interface-with-live-type {
9  record live-type {
10    a: u32,
11  }
12  f: func() -> live-type;
13}
14
15
16interface interface-with-dead-type {
17  use interface-with-live-type.{live-type};
18
19  record dead-type {
20    a: u32,
21  }
22
23  variant v {
24    a(live-type),
25    b(dead-type),
26  }
27}
28