Module borrow_tracker 

Re-exports

use std::cell::RefCell; 🔒

use std::num::NonZero; 🔒

use std::fmt; 🔒

use std::mem; 🔒

use rustc_abi::Size; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_middle::ty::Ty; 🔒

use smallvec::SmallVec; 🔒

use crate::*; 🔒

Modules

stacked_borrows

Implements “Stacked Borrows”. See https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information.

tree_borrows

Structs

BorTag

Tracking pointer provenance

FrameState

Per-call-stack-frame data for borrow tracking

GlobalStateInner

Extra global state, available to the memory access hooks.

TreeBorrowsParams

Parameters that Tree Borrows can take.

Enums

AccessKind

Indicates which kind of access is being performed.

AllocState

Extra per-allocation data for borrow tracking

BorrowTrackerMethod

Which borrow tracking method to use

ProtectorKind

The flavor of the protector.

Traits

EvalContextExt

Type Aliases

GlobalState

We need interior mutable access to the global state.