Happens in rust, too. Mainly to fix soundness holes in the language. Like there was some problem with match statements, guards, moving values and potential (I

Happens in rust, too. Mainly to fix soundness holes in the language. Like there was some problem with match statements, guards, moving values and potential (I think?) user after free or so. Which required match guards to be slightly constrained in some edge cases.