Closed
Description
It would be best to take advantage of the ElaborateDrops
MIR pass, which is currently run after the after_analysis
callback that Miri uses.
I'm currently looking into adding a callback between after_analysis
and after_trans
for this purpose.