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

pattern match does not cover all constructors

​
Metadata

  • Code: E3012
  • Default level: Error
  • Phase: Type Check
  • Canonical docs URL: https://docs.brim-lang.com/diagnostics/E3012
  • Tags: types, patterns

​
How to fix

  • add missing arms
  • use wildcard cautiously

​
Typical output

E3012: non-exhaustive patterns
note: pattern match does not cover all constructors