src/test/ui/traits/trait-impl-for-module.rs

mod a {
}

trait A {
}

impl A for a { //~ ERROR expected type, found module
}

fn main() {
}