Skip to main content

LOCAL_KIND_USER

Constant LOCAL_KIND_USER 

Source
pub const LOCAL_KIND_USER: u8 = 0;
Expand description

How a local appears in the crash debugger (§9.4 locals). Mirrors [praxis_mir::ir::LocalDebugKind], flattened to a u8 for the FFI boundary: 0 = a binding, 1 = a compiler temp. “Binding” is ADR-125’s sense — a var, a parameter, a for variable and a name a pattern introduces — so that the FFI constant and the compiler agree about what the byte means (ADR-139). Stored on each DebugLocalMeta so the debugger can separate the two in its display and name temps with their materializing expression.