Skip to content

[rust][TreeBorrows] Follow Pulse equalities in the borrow state - #2085

Merged
dulmarod merged 1 commit into
facebook:mainfrom
MateiMirica:tree-borrows-canonicalize
Jul 27, 2026
Merged

[rust][TreeBorrows] Follow Pulse equalities in the borrow state#2085
dulmarod merged 1 commit into
facebook:mainfrom
MateiMirica:tree-borrows-canonicalize

canonicalize tree borrows state on discovered equalities

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

Annotations

2 warnings
devsetup-build (macos-26, ocaml-variants.5.4.1+options)
succeeded Jul 25, 2026 in 20m 21s