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

mod missing;