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.

fn main()
    requires 1 > 0
{
}

Fixed

The same program, fixed.

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

Listed in the checker notes. oskac explain E0219 prints this entry offline.

All error codes