interpret: go back to regular string interpolation for error messages#153611

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

RalfJung:interp-error-stringsRalfJung/rust:interp-error-stringsCopy head branch name to clipboard