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.