Skip to content

fix: don't treat non-atomic idents as pattern variables#6551

Open
cppio wants to merge 1 commit intoleanprover:masterfrom cppio:non-atomic-pattern-var
+24-6

Commits

Commits on Jan 7, 2025