Skip to content

fix: prevent compiler crash in casesOn optimization#6993

Closed
Rob23oba wants to merge 1 commit intoleanprover:masterfrom Rob23oba:compiler-caseson-fix
+27-1

Commits

Commits on Feb 7, 2025