Struct NeutralAllocPolicy 

pub struct NeutralAllocPolicy;

Backend-neutral allocation policy useful for diagnostic dumps. Mirrors the VM/WASM “pure non-alloc builtins” whitelist exactly so the [no_alloc] annotation reads the same on both runtime backends. Constructors with payloads are treated as allocating; nullary constructors (Option.None, Result.Ok with primitive seed) are not.

Codegen pipelines should use the backend-specific policy (VmAllocPolicy, WasmAllocPolicy); this type is for --emit-ir, aver bench, and other tools that want a sensible answer without committing to a target.

Trait Implementations

impl AllocPolicy for NeutralAllocPolicy

fn builtin_allocates(&self, name: &str) -> bool

Whether a call to a builtin (e.g. List.prepend, Int.toString) allocates a heap object on this backend.

fn constructor_allocates(&self, _name: &str, has_payload: bool) -> bool

Whether a constructor application (e.g. Result.Ok(x), Shape.Circle(r)) allocates. has_payload is true when the constructor was applied to at least one argument; nullary constructors (Option.None) never allocate.