start :: fn {

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

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