# E0201

A trait where a type is expected (`x: Display`), or a type where a trait is expected (`T: Int`).

**Machine-applicable fix:** none.

## Example

This program fails with `E0201`.

```oska
fn show(x: Display) {}
```

## Fixed

The same program, fixed.

```oska
fn show<T: Display>(x: T) {}
```

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