progs/tests/auto/wrong_params.sy


1
2
3
4
5
6
7

start :: fn {

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

// errors: [ErrorKind::TypeMismatch(_, _), ErrorKind::TypeMismatch(Type::Void, Type::Int)]