1
Fork 0

MIR printing: print the path of uneval'd const; refer to promoteds in a consistent way

This commit is contained in:
Ralf Jung 2024-03-10 14:05:11 +01:00
parent 3521a2f2f3
commit 7d99e80c55
79 changed files with 114 additions and 101 deletions

View file

@ -67,7 +67,7 @@ fn eval_body_using_ecx<'mir, 'tcx>(
trace!(
"eval_body_using_ecx: pushing stack frame for global: {}{}",
with_no_trimmed_paths!(ecx.tcx.def_path_str(cid.instance.def_id())),
cid.promoted.map_or_else(String::new, |p| format!("::promoted[{p:?}]"))
cid.promoted.map_or_else(String::new, |p| format!("::{p:?}"))
);
ecx.push_stack_frame(