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.