E5005: pattern exhaustiveness MIR gap

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

​

Metadata

• Code: E5005
• Default level: Error
• Phase: Lowering
• Canonical docs URL: https://docs.brim-lang.com/diagnostics/E5005
• Tags: mir, patterns

​

How to fix

• expand wildcard arms
• report upstream bug if unreachable

​

Typical output

E5005: pattern exhaustiveness MIR gap
note: lowered patterns disagree with type exhaustiveness proof