interpret: avoid dummy spans in the stacktrace#153089

rust-bors[bot] merged 1 commit intorust-lang:mainrust-lang/rust:mainfrom

RalfJung:no-dummysRalfJung/rust:no-dummysCopy head branch name to clipboard