Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.brim-lang.com/llms.txt

Use this file to discover all available pages before exploring further.

​
What this means

indexed access outside allocation

​
Metadata

  • Code: E8005
  • Default level: Error
  • Phase: Runtime
  • Canonical docs URL: https://docs.brim-lang.com/diagnostics/E8005
  • Tags: runtime, bounds

​
How to fix

  • validate indices
  • use get_unchecked only under proof

​
Typical output

E8005: runtime bounds check
note: indexed access outside allocation