Function miri::borrow_tracker::tree_borrows::perms::transition::child_write
source ยท fn child_write(state: PermissionPriv, protected: bool) -> Option<PermissionPriv>
Expand description
A child node was write-accessed: Reserved
must become Active
to obtain
write permissions, Frozen
and Disabled
cannot obtain such permissions and produce UB.