Commit 2023-07-09 09:20 9a2d40a2

View on Github →

fix: make lift_lets not descend into proofs or let-less subexpressions (#5772) This helps keep lift_lets from unnecessarily doing deep recursion on deep expressions. Whether to descend into proofs is put behind a configuration option.

Estimated changes