# E0219

A `requires` or `ensures` clause on `main`. Nothing in the program calls `main`, so there is no caller to blame for a false `requires`; check the condition in the body. Spans the clause.

**Machine-applicable fix:** none.

## Example

This program fails with `E0219`.

```oska
fn main()
    requires 1 > 0
{
}
```

## Fixed

The same program, fixed.

```oska
fn main() {
    let ready = 1 > 0
}
```

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