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

never-like type flows into incorrect contexts

​
Metadata

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

​
How to fix

  • propagate Never/Bottom correctly
  • avoid unreachable continuation

​
Typical output

E3020: diverging type misuse
note: never-like type flows into incorrect contexts