#![allow(unused_extern_crates)]
extern crate alloc;
-//~^ NOTE previous import of the extern crate `alloc` here
mod alloc {
//~^ ERROR the name `alloc` is defined multiple times [E0260]
-//~| NOTE `alloc` redefined here
-//~| NOTE `alloc` must be defined only once in the type namespace of this module
pub trait MyTrait {
fn do_something();
}