// expect: 'check' can't fail, so it can't return an error (make it fallible: -> !)
fn check(int n) {
    if n < 0 {
        return error("negative")
    }
}
fn main() {
    check(1)
}