Function miri::borrow_tracker::tree_borrows::perms::transition::child_write

fn child_write(state: PermissionPriv, protected: bool) -> Option<PermissionPriv>

A child node was write-accessed: Reserved must become Active to obtain write permissions, Frozen and Disabled cannot obtain such permissions and produce UB.