Auto merge of #113316 - DrMeepster:underefer_perf, r=oli-obk · RalfJung/miri@fc143c5 · GitHub

Commit

Auto merge of #113316 - DrMeepster:underefer_perf, r=oli-obk

Browse files

Rewrite `UnDerefer`, again

This PR is intended to improve the perf regression introduced by #112882.

`UnDerefer` has been separated out again for borrowck reasons. It was a bit overzealous to remove it in the previous PR.

r? `@oli-obk`

Loading branch information

bors committed Jul 11, 2023

2 parents 4d42806 + 99d8873 commit fc143c5