//@ check-pass

#![feature(decl_macro)]
#![allow(dropping_copy_types)]

macro mac() {
    mod m {
        fn f() {
            std::mem::drop(0); // OK (extern prelude)
            drop(0); // OK (stdlib prelude)
        }
    }
}

mac!();

fn main() {}