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

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

b5a7ed4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rustfmt
succeeded Jul 23, 2026 in 14s