Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #101154 - RalfJung:validation-perf, r=oli-obk
interpret: fix unnecessary allocation in validation visitor
Should fix the perf regression introduced by https://github.com/rust-lang/rust/pull/100043.
r? `@oli-obk`
