Size Generic Errors

Back to Error Catalog

---

Size argument to non-generic function

error: function 'foo' is not generic but called with size arguments

Fix: Remove the angle bracket arguments.

---

Size parameter count mismatch

error: function 'foo' expects 2 size parameters, got 1

---

Cannot infer size argument

error: cannot infer size parameter 'N'; provide explicit size argument

Fix: Provide the size argument explicitly:

let result: Field = sum<5>(arr)

---

Expected concrete size

error: expected concrete size, got 'N'

A size parameter could not be resolved to a concrete integer.

---

Array size not compile-time known (planned)

error: array size must be a compile-time known integer
  help: use a literal, const, or size parameter expression

Spec: language.md Section 2 (array sizes must be compile-time known).

---

Zero or negative array size (planned)

error: array size must be a positive integer, got 0

Spec: language.md Section 2 (fixed-size arrays, meaningful sizes).