interface cycle1 { type t = u32; } interface cycle3 { use cycle2.{t}; }