//@ ignore-auxiliary (used by `./non_modrs_mods_and_inline_mods.rs`)

pub mod y {
    pub mod z;
}