miri::borrow_tracker::tree_borrows::perms::transition

Function 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.