mod a {
type Foo = u64;
type Bar = u64;
}
mod b {
fn main() {
let x: Foo = 100; //~ ERROR: cannot find type `Foo` in this scope
let y: Bar = 100; //~ ERROR: cannot find type `Bar` in this scope
println!("x: {}, y: {}", x, y);