SIFR-RESULT-0002: Invalid Result error type. - Sifr

SIFR-RESULT-0002 belongs to the Result and typed errors diagnostic family. It means: invalid Result error type.

Why It Happens

A typed failure path is being ignored or described with an invalid error type. Handle the Result, propagate it, or use a valid error type.

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

Erroneous Code

read_text("notes.txt")

How To Fix It

Handle typed failures explicitly. Use try/except, return the Result, or otherwise consume the value so failures cannot be ignored.

Fixed Code

try:
    text = read_text("notes.txt")
except IOError as e:
    text = ""

Details

Field	Value
Code	`SIFR-RESULT-0002`
Family	`RESULT`
Severity	Error
Stability	stable
Owner	`sifr_lowering::lower`
Representative fixture	`crates/sifr/tests/e2e/fail/error_str_not_allowed.sifr`

See the Error Codes index for the complete catalog.