\nE052 — Value escapes from arena — Avisna

DIAGNOSTIC · MEMORY SAFETY

E052 Value escapes from arena

An arena-owned value is rejected when it escapes its allowed scope.

Meaning

Value escapes from arena.

Compiler layer

Memory safety

Evidence

tests/integration/arena_escape.avs

Evidence reference from the reviewed project corpus. A reference indicates a related exercised scenario; it does not imply complete coverage of the diagnostic family.

Related evidence

TRACEABILITY

Related Evidence

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

Browse the public evidence index →