//@ check-pass | |
#![feature(decl_macro)] | |
pub macro m($foo:ident, $f:ident, $e:expr) { | |
mod foo { | |
pub fn f() -> u32 { 0 } | |
pub fn $f() -> u64 { 0 } | |
} | |
mod $foo { | |
pub fn f() -> i32 { 0 } | |
pub fn $f() -> i64 { 0 } | |
} | |
let _: u32 = foo::f(); | |
let _: u64 = foo::$f(); | |
let _: i32 = $foo::f(); | |
let _: i64 = $foo::$f(); | |
let _: i64 = $e; | |
} | |
fn main() { | |
m!(foo, f, foo::f()); | |
let _: i64 = foo::f(); | |
} |