interpreter error reporting: remove arguments that are always the same#153613

RalfJung wants to merge 2 commits intorust-lang:mainrust-lang/rust:mainfrom

RalfJung:interpret-reportRalfJung/rust:interpret-reportCopy head branch name to clipboard