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

dulmarod merged 1 commit into

facebook:mainfacebook/infer:mainfrom

MateiMirica:tree-borrows-canonicalizeMateiMirica/infer:tree-borrows-canonicalizeCopy head branch name to clipboard