# E0113

A `where` clause. Bounds are written inline, as in `fn f<T: Eq>(x: T)`.

**Machine-applicable fix:** none.

## Example

This program fails with `E0113`.

```oska
fn same<T>(a: T, b: T) -> Bool where T: Eq {
    a == b
}
```

## Fixed

The same program, fixed.

```oska
fn same<T: Eq>(a: T, b: T) -> Bool {
    a == b
}
```

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