Module perms 

Re-exports

use std::cmp::Ordering; 🔒

use std::cmp::PartialOrd; 🔒

use std::cmp::PartialOrd; 🔒

use std::fmt; 🔒

use crate::borrow_tracker::AccessKind; 🔒

use crate::borrow_tracker::tree_borrows::diagnostics::TransitionError; 🔒

use crate::borrow_tracker::tree_borrows::tree::AccessRelatedness; 🔒

use super::foreign_access_skipping::IdempotentForeignAccess; 🔒

use super::wildcard::WildcardAccessLevel; 🔒

use self::PermissionPriv::*; 🔒

Modules

diagnostics

transition 🔒

This module controls how each permission individually reacts to an access. Although these functions take protected as an argument, this is NOT because we check protector violations here, but because some permissions behave differently when protected.

Structs

PermTransition

Transition from one permission to the next.

Permission

Public interface to the state machine that controls read-write permissions. This is the “private enum” pattern.

Enums

PermissionPriv 🔒

The activation states of a pointer.