2016-08-16 07:29:21 -05:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
#![deny(module_inception)]
|
|
|
|
|
|
|
|
mod foo {
|
|
|
|
mod bar {
|
|
|
|
mod bar { //~ ERROR module has the same name as its containing module
|
2016-08-16 07:36:48 -05:00
|
|
|
mod foo {}
|
2016-08-16 07:29:21 -05:00
|
|
|
}
|
2016-08-16 07:36:48 -05:00
|
|
|
mod foo {}
|
2016-08-16 07:29:21 -05:00
|
|
|
}
|
|
|
|
mod foo { //~ ERROR module has the same name as its containing module
|
2016-08-16 07:36:48 -05:00
|
|
|
mod bar {}
|
2016-08-16 07:29:21 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {}
|