mod not_a_real_file;
//~^ ERROR: file not found for module `not_a_real_file`
//~| HELP: to create the module `not_a_real_file`, create file

fn main() {
    assert_eq!(mod_file_aux::bar(), 10);
    //~^ ERROR: cannot find module or crate `mod_file_aux`
    //~| HELP: you might be missing a crate named `mod_file_aux`
}