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

type inference ended with unknown metavariables

​
Metadata

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

​
How to fix

  • annotate types
  • spell concrete witnesses

​
Typical output

E3004: unsolved type variables
note: type inference ended with unknown metavariables