pub fn verify_body_arena_integrity(ctx: &Context<'_>) -> Vec<String>Expand description
Validate the ownership and cross-reference invariants of every function body’s block, instruction, parameter, CFG-edge, and temporary arenas.
Diagnostics from this function describe potentially unsafe structural corruption. Callers should not run higher-level traversals until it returns an empty vector.