Expand description
Add missing storage markers – in MIR, some locals are considered “always” initialised, and have no StorageLive and StorageDead instructions associated; this always includes the arguments and the return local, but also sometimes includes other locals. We make sure these additional locals get initialised at the start of the function and deallocated before function exits if they’re used anywhere.