Miri: Use -Zmiri-tree-borrows instead of -Zmiri-disable-stacked-borrows#996

Merged

taiki-e merged 2 commits intomasterfrom taiki-e/tree-borrows

Jun 17, 2023

+32-23

Commits on Jun 17, 2023

Always use load(Acquire) for load_consume on Miri/TSan
taiki-e
committed
Miri: Use -Zmiri-tree-borrows instead of -Zmiri-disable-stacked-borrows
taiki-e
committed