Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #100087 - JakobDegen:mir-patch, r=tmiasko
Avoid invalidating the CFG in `MirPatch` As a part of this change, we adjust `MirPatch` to not needlessly create unnecessary resume blocks. r? `@tmiasko`
bors 2022-08-04
parent 281fc90 · parent dab71f5 · commit a05775f
0 files changed, 0 insertions, 0 deletions