Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #108175 - cjgillot:validate-storage, r=tmiasko
MIR-Validate StorageLive.
`StorageLive` statements on a local which already has storage is banned by miri.
This check is easy enough, and can detect bugs in MIR opts.
