Expand description
Add missing StorageLives – in MIR, some locals are considered “always” initialised, and have no StorageLive and StorageDead instructions associated; this always includes the arguments and the return value, but also sometimes includes other locals. We make sure these additional locals get initialised at the start of the function.