SIFR-INT-0003: Reserved integer width name used before support lands. - Sifr

SIFR-INT-0003 belongs to the Integer model diagnostic family. It means: reserved integer width name used before support lands.

Why It Happens

Sifr separates exact integers from fixed-width integers. This diagnostic fires when an integer value, conversion, or operation violates that model.

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

Erroneous Code

small: int8 = 200

How To Fix It

Choose an integer type whose range fits the value, and make lossy or fallible numeric conversions explicit.

Fixed Code

small: int8 = 127
wide: int = 200

Details

Field	Value
Code	`SIFR-INT-0003`
Family	`INT`
Severity	Error
Stability	stable
Owner	`sifr_lowering::lower::typing_and_functions`
Representative fixture	`crates/sifr/tests/e2e/fail/reserved_int128_annotation.sifr`

See the Error Codes index for the complete catalog.