pub fn resolve_typed_variable_values(
location: &DebugVarLocation,
ty: &Type,
count: usize,
stack: &[Felt],
get_memory: impl Fn(u32) -> Option<Felt>,
get_local: impl Fn(i16) -> Option<Felt>,
) -> Option<Vec<Felt>>Expand description
Resolve a typed debug variable into the canonical ABI felts consumed by the typed decoder.
Simple Miden locations already contain canonical stack values. Frame-base locations and a
terminal DebugLocationExpressionOp::DerefBytes instead identify packed Rust memory, which
must be read at byte granularity and lifted according to ty before it can be decoded.