#![feature(decl_macro)]

macro foo() {
    // This identifier has a fresh hygiene scope local to
    // *each invocation* of `foo!`.
    //    vvv
    macro bar() {}
    bar!();
}

// No collisions between these two definitions and
// invocations of `bar!`.
foo!();
foo!();

// Uncomment to see a 'cannot find macro `bar!` in this scope' error.
//bar!();