The simplification of Switch in Inline_and_simplify needs work. In the case where the scrutinee is a closure we know that any case that is not Closure_tag or Infix_tag cannot match, and we should eliminate them before simplifying the cases.
We should also remove the nonexhaustive match and check the other cases.
The simplification of Switch in Inline_and_simplify needs work. In the case where the scrutinee is a closure we know that any case that is not Closure_tag or Infix_tag cannot match, and we should eliminate them before simplifying the cases.
We should also remove the nonexhaustive match and check the other cases.
I'll probably work on this.