|
76 | 76 | (_4.1: &i32) = const main::promoted[1]; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
77 | 77 | // ty::Const
|
78 | 78 | // + ty: &i32
|
79 |
| - // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[1])) |
| 79 | + // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[1])) |
80 | 80 | // mir::Constant
|
81 | 81 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
82 |
| - // + literal: Const { ty: &i32, val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[1])) } |
| 82 | + // + literal: Const { ty: &i32, val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[1])) } |
83 | 83 | StorageLive(_5); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
84 | 84 | _5 = (_4.0: &i32); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
85 | 85 | _6 = (_4.1: &i32); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
|
106 | 106 | _25 = const main::promoted[0] as &[&str] (Pointer(Unsize)); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
107 | 107 | // ty::Const
|
108 | 108 | // + ty: &[&str; 3]
|
109 |
| - // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[0])) |
| 109 | + // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[0])) |
110 | 110 | // mir::Constant
|
111 | 111 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
112 |
| - // + literal: Const { ty: &[&str; 3], val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[0])) } |
| 112 | + // + literal: Const { ty: &[&str; 3], val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main), const_param_did: None }, [], Some(promoted[0])) } |
113 | 113 | StorageLive(_13); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL
|
114 | 114 | StorageLive(_15); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
115 | 115 | _15 = _5; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL
|
|
0 commit comments