package foo:foo;

interface foo {
  type a = u32;

  type b = a;

  type c = b;
}

interface bar {
  use foo.{c};
}

interface baz {
  use bar.{c};
}