Module 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 🔒