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

#[allow(tool::lint)]
pub fn foo() {}