Skip to main content

Module diagnostics

miri::borrow_tracker::stacked_borrows

Module diagnostics 

Source

Re-exports§

use std::fmt; 🔒
use rustc_abi::Size; 🔒
use rustc_data_structures::fx::FxHashSet; 🔒
use rustc_span::Span; 🔒
use smallvec::SmallVec; 🔒
use crate::borrow_tracker::AccessKind; 🔒
use crate::borrow_tracker::GlobalStateInner; 🔒
use crate::borrow_tracker::ProtectorKind; 🔒
use crate::*; 🔒

Structs§

AccessOp 🔒
AllocHistory
Creation 🔒
DeallocOp 🔒
DiagnosticCx
DiagnosticCxBuilder
Invalidation 🔒
Protection 🔒
RetagInfo
RetagOp 🔒
TagHistory

Enums§

InvalidationCause 🔒
Operation 🔒
RetagCause

Functions§

err_sb_ub 🔒
Error reporting
error_cause 🔒
operation_summary 🔒