| Def site: $DIR/auxiliary/make-macro.rs:7:9: 7:56 (#5) |
| Input: TokenStream [Ident { ident: "$crate", span: $DIR/meta-macro-hygiene.rs:23:37: 23:43 (#4) }, Punct { ch: ':', spacing: Joint, span: $DIR/meta-macro-hygiene.rs:23:43: 23:45 (#4) }, Punct { ch: ':', spacing: Alone, span: $DIR/meta-macro-hygiene.rs:23:43: 23:45 (#4) }, Ident { ident: "dummy", span: $DIR/meta-macro-hygiene.rs:23:45: 23:50 (#4) }, Punct { ch: '!', spacing: Alone, span: $DIR/meta-macro-hygiene.rs:23:50: 23:51 (#4) }, Group { delimiter: Parenthesis, stream: TokenStream [], span: $DIR/meta-macro-hygiene.rs:23:51: 23:53 (#4) }] |
| Respanned: TokenStream [Ident { ident: "$crate", span: $DIR/auxiliary/make-macro.rs:7:9: 7:56 (#5) }, Punct { ch: ':', spacing: Joint, span: $DIR/auxiliary/make-macro.rs:7:9: 7:56 (#5) }, Punct { ch: ':', spacing: Alone, span: $DIR/auxiliary/make-macro.rs:7:9: 7:56 (#5) }, Ident { ident: "dummy", span: $DIR/auxiliary/make-macro.rs:7:9: 7:56 (#5) }, Punct { ch: '!', spacing: Alone, span: $DIR/auxiliary/make-macro.rs:7:9: 7:56 (#5) }, Group { delimiter: Parenthesis, stream: TokenStream [], span: $DIR/auxiliary/make-macro.rs:7:9: 7:56 (#5) }] |
| #![feature /* 0#0 */(prelude_import)] |
| // aux-build:make-macro.rs |
| // aux-build:meta-macro.rs |
| // edition:2018 |
| // compile-flags: -Z span-debug -Z macro-backtrace -Z unpretty=expanded,hygiene -Z trim-diagnostic-paths=no |
| // check-pass |
| // normalize-stdout-test "\d+#" -> "0#" |
| // |
| // We don't care about symbol ids, so we set them all to 0 |
| // in the stdout |
| |
| #![no_std /* 0#0 */] |
| #[prelude_import /* 0#1 */] |
| use core /* 0#1 */::prelude /* 0#1 */::rust_2018 /* 0#1 */::*; |
| #[macro_use /* 0#1 */] |
| extern crate core /* 0#1 */; |
| #[macro_use /* 0#1 */] |
| extern crate compiler_builtins /* 0#1 */; |
| // Don't load unnecessary hygiene information from std |
| extern crate std /* 0#0 */; |
| |
| extern crate meta_macro /* 0#0 */; |
| |
| macro_rules! produce_it |
| /* |
| 0#0 |
| */ { |
| () => |
| { |
| meta_macro :: print_def_site! ($ crate :: dummy! ()) ; |
| // `print_def_site!` will respan the `$crate` identifier |
| // with `Span::def_site()`. This should cause it to resolve |
| // relative to `meta_macro`, *not* `make_macro` (despite |
| // the fact that that `print_def_site` is produced by |
| // a `macro_rules!` macro in `make_macro`). |
| } |
| } |
| |
| fn main /* 0#0 */() { ; } |
| |
| /* |
| Expansions: |
| 0: parent: ExpnId(0), call_site_ctxt: #0, def_site_ctxt: #0, kind: Root |
| 1: parent: ExpnId(0), call_site_ctxt: #0, def_site_ctxt: #0, kind: AstPass(StdImports) |
| 2: parent: ExpnId(0), call_site_ctxt: #0, def_site_ctxt: #0, kind: Macro { kind: Bang, name: "produce_it", proc_macro: false } |
| 3: parent: ExpnId(0), call_site_ctxt: #0, def_site_ctxt: #0, kind: AstPass(StdImports) |
| 4: parent: ExpnId(2), call_site_ctxt: #4, def_site_ctxt: #0, kind: Macro { kind: Bang, name: "meta_macro::print_def_site", proc_macro: true } |
| 5: parent: ExpnId(4), call_site_ctxt: #5, def_site_ctxt: #0, kind: Macro { kind: Bang, name: "$crate::dummy", proc_macro: true } |
| |
| SyntaxContexts: |
| #0: parent: #0, outer_mark: (ExpnId(0), Opaque) |
| #1: parent: #0, outer_mark: (ExpnId(1), Opaque) |
| #2: parent: #0, outer_mark: (ExpnId(1), Transparent) |
| #3: parent: #0, outer_mark: (ExpnId(3), Opaque) |
| #4: parent: #0, outer_mark: (ExpnId(2), SemiTransparent) |
| #5: parent: #0, outer_mark: (ExpnId(4), Opaque) |
| #6: parent: #4, outer_mark: (ExpnId(4), Transparent) |
| #7: parent: #0, outer_mark: (ExpnId(4), SemiTransparent) |
| #8: parent: #0, outer_mark: (ExpnId(5), Opaque) |
| #9: parent: #5, outer_mark: (ExpnId(5), Transparent) |
| #10: parent: #5, outer_mark: (ExpnId(5), SemiTransparent) |
| */ |