Rewriting improvements for monomorphic aarch64_small

- allow disjoint_pat to be used on patterns that have just been introduced
  by the rewrite without rechecking
- don't rebuild the matched expression in the generated fallthrough case
  (or any wildcard fall-through) - it may be dead code and generate badly
  typed Lem
- update the type environment passed to rewrites whenever type checking
  is performed; stale information broke some rewrites

0 files changed, 0 insertions, 0 deletions