This PR modifies src/bootstrap/src/core/config.

If appropriate, please update CONFIG_CHANGE_HISTORY in src/bootstrap/src/utils/change_tracker.rs.

The job pr-check-2 failed! Check out the build log: (web) (plain enhanced) (plain)

I think we should allow private module inception by default, maybe just not even add it, because a common move is to do this to define your public API:

// lib.rs

pub mod module;

// module.rs

#[cfg(whatever)]
mod module {    
}

#[cfg(not(whatever))]
mod module {
}

pub use module::*;

You rarely want to think of a new name for the inner module, inner doesn't help, but you almost never want crate_name::module::module in your public API, just crate_name::module.

For configuring them: we could make them separate lints. We could also crater-run it with the private module inception on deny-by-default vs. crater-running it with allow-by-default to see the difference.