path: root/progs/tests/auto/wrong_ret.sy

start :: fn {

                 f : fn -> int = fn {}
f
}

// errors: [ErrorKind::TypeMismatch(_, _)]