E3001: cannot unify types

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: E3001
• Default level: Error
• Phase: Type Check
• Canonical docs URL: https://docs.brim-lang.com/diagnostics/E3001
• Tags: types, unification

​

How to fix

• add casts
• adjust generics
• annotate locals

​

Typical output

E3001: cannot unify types
note: two types required to be equal could not be unified