Module tree_borrows 

Re-exports

use rustc_abi::Size; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_middle::mir::Mutability; 🔒

use rustc_middle::ty::layout::HasTypingEnv; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use self::foreign_access_skipping::IdempotentForeignAccess; 🔒

use self::tree::LocationState; 🔒

use crate::borrow_tracker::AccessKind; 🔒

use crate::borrow_tracker::GlobalState; 🔒

use crate::borrow_tracker::GlobalStateInner; 🔒

use crate::borrow_tracker::ProtectorKind; 🔒

use crate::concurrency::data_race::NaReadType; 🔒

use crate::concurrency::data_race::NaWriteType; 🔒

use self::perms::Permission; 🔒

pub use self::tree::Tree;

use crate::*; 🔒

Modules

diagnostics

foreign_access_skipping 🔒

perms 🔒

tree 🔒

In this file we handle the “Tree” part of Tree Borrows, i.e. all tree traversal functions, optimizations to trim branches, and keeping track of the relative position of the access to each node being updated. This of course also includes the definition of the tree structure.

tree_visitor 🔒

unimap 🔒

This module implements the UniMap, which is a way to get efficient mappings optimized for the setting of tree_borrows/tree.rs.

wildcard 🔒

Structs

NewPermission

Policy for a new borrow.

Traits

EvalContextExt

EvalContextPrivExt 🔒

Type Aliases

AllocState