SIFR-TYPE-0012: Unsupported expression form. - Sifr

SIFR-TYPE-0012 belongs to the Static typing diagnostic family. It means: unsupported expression form.

Why It Happens

Static types do not line up. Align annotations, inferred expressions, branches, containers, operators, or generic constraints, and convert explicitly where needed.

Use sifr --explain SIFR-TYPE-0012 locally to see the renderer’s exact message template and any machine-applicable suggestions for the compiler version you are running.

Erroneous Code

count: int = "three"

How To Fix It

Make annotations, inferred values, branch results, container elements, and operator operands agree. Add explicit conversions where the conversion is meaningful.

Fixed Code

count: int = 3

Details

Field	Value
Code	`SIFR-TYPE-0012`
Family	`TYPE`
Severity	Error
Stability	stable
Owner	`sifr_lowering::lower::expressions`
Representative fixture	`crates/sifr/tests/e2e/fail/unsupported_yield_expression.sifr`

See the Error Codes index for the complete catalog.