---
tags:
  - programming
  - dictionary
---
This is when the compiler can infer (determine) the type of a variable by looking at the value being assigned.

For example:
```rust
let x = 1

# Equals

let x: u32 = 1;
```

But the Rust compiler infers that x is u32 because that is the default int type.