Module miri::borrow_tracker

source ·

Modules§

Structs§

  • Tracking pointer provenance
  • Per-call-stack-frame data for borrow tracking
  • Extra global state, available to the memory access hooks.

Enums§

Traits§

Type Aliases§

  • We need interior mutable access to the global state.