> ## Documentation Index
> Fetch the complete documentation index at: https://docs.sifr.sh/llms.txt
> Use this file to discover all available pages before exploring further.

# SIFR-TYPE-0902: Reveal the inferred static type of an expression.

> Reveal the inferred static type of an expression.

`SIFR-TYPE-0902` belongs to the **Static typing** diagnostic family. It means: reveal the inferred static type of an expression.

## Why It Happens

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

<Info>
  Use `sifr --explain SIFR-TYPE-0902` locally to see the renderer's exact message template and any machine-applicable suggestions for the compiler version you are running.
</Info>

## Erroneous Code

```python theme={null}
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

```python theme={null}
count: int = 3
```

## Details

| Field                  | Value                                                                                                                  |
| ---------------------- | ---------------------------------------------------------------------------------------------------------------------- |
| Code                   | `SIFR-TYPE-0902`                                                                                                       |
| Family                 | `TYPE`                                                                                                                 |
| Severity               | Note                                                                                                                   |
| Stability              | stable                                                                                                                 |
| Owner                  | `sifr_lowering::lower::builtin_calls`                                                                                  |
| Representative fixture | `crates/sifr_driver/src/tests/single_file_frontend.rs::test_type_check_source_surfaces_reveal_type_as_structured_note` |

See the [Error Codes index](/diagnostics/error-codes) for the complete catalog.