package foo:foo; interface name { record r1 { f: u8, } record r2 { x: r1 } } world module { import name; export name; export name: interface { use name.{r2}; a: func(); } }