Skip to content

Fix treeify soundness: never treeify (sink) effectful ops at all. - #18

Merged
cfallin merged 1 commit into
mainfrom
fix-treeify
Jul 24, 2026
Merged

Fix treeify soundness: never treeify (sink) effectful ops at all.#18
cfallin merged 1 commit into
mainfrom
fix-treeify

Commits

Commits on Jul 23, 2026