1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
package foo:foo; interface i1 { type t = u32; } interface i2 { use i1.{t}; } interface i3 { use i2.{t}; } world test { import i1: interface {} export i1; export i3; }