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

Function foreign_write

Source
fn foreign_write(
    state: PermissionPriv,
    protected: bool,
) -> Option<PermissionPriv>
Expand description

A non-child node was write-accessed: this makes everything Disabled except for non-protected interior mutable Reserved which stay the same.