bors a7f375789b Auto merge of #91840 - JakobDegen:fix_early_otherwise, r=oli-obk ... Fix the unsoundness in the `early_otherwise_branch` mir opt pass Closes #78496 . This change is a significant rewrite of much of the pass. Exactly what it does is documented in the source file (with ascii art!), and all the changes that are made to the MIR that are not trivially sound are carefully documented. That being said, this is my first time touching MIR, so there are probably some invariants I did not know about that I broke. This version of the optimization is also somewhat more flexible than the original; for example, we do not care how or where the value on which the parent is switching is computed. There is no requirement that any types be the same. This could be made even more flexible in the future by allowing a wider range of statements in the bodies of `BBC, BBD` (as long as they are all the same of course). This should be a good first step though. Probably needs a perf run. r? `@oli-obk` who reviewed things the last time this was touched		2022-01-26 12:10:54 +00:00
..
src	Auto merge of #91840 - JakobDegen:fix_early_otherwise, r=oli-obk	2022-01-26 12:10:54 +00:00
Cargo.toml	Update itertools to deduplicate it	2022-01-14 12:33:54 +01:00