Module miri::borrow_tracker::stacked_borrows::diagnostics

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 🔒