Feature request: Retag statements

[giltho]

Hello,
Would it be possible to emit Retag statements (possibly on demand)?
We want to run an analysis that makes use of tree borrows, and would need those in. The person in charge of this project would probably be happy to implement this feature if you give us a few pointers :)

Cheers!

[Nadrieril]

That would be great to have! This is currently blocked on us supporting a later MIR than we do. Today we use mir_built but retags are only added in mir_drops_elaborated_and_const_checked; this is tracked here.

This is already something we plan to do; I haven't estimated how hard this would be yet. I would very much welcome help here! I wrote up some instructions here. Pop on the Zulip if you want to have a go or have questions.

[giltho]

Our student is starting this Monday and will probably start on something slightly different, but I'll give her the various links for when she starts this project, thank you very much for the pointers!