# E0233

A type that inference cannot work out, such as `let xs = List.new()` with no later use.

**Machine-applicable fix:** none.

## Example

This program fails with `E0233`.

```oska
fn main() {
    let xs = List.new()
}
```

## Fixed

The same program, fixed.

```oska
fn main() {
    let xs: List<Int> = List.new()
}
```

Listed in the [checker notes](/checker.md#e0233). `oskac explain E0233` prints this entry offline.