// parse-fail

package foo:foo;

interface foo {
  type x = u32;
}

interface bar {
  use foo.{x};

  type x = s64;
}