Module diagnostics

Source

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 ๐Ÿ”’