Function miri::borrow_tracker::tree_borrows::perms::transition::foreign_read
source ยท fn foreign_read(
state: PermissionPriv,
protected: bool,
) -> Option<PermissionPriv>
Expand description
A non-child node was read-accessed: keep Reserved
but mark it as conflicted
if it
is protected; invalidate Active
.