rustc/tests/ui/directory_ownership/non-inline-mod-restriction.rs

// Test that non-inline modules are not allowed inside blocks.

fn main() {
    mod foo; //~ ERROR cannot declare a non-inline module inside a block
}