commit b7480cd8931fa1696265f75c7d4d9fdf0be69e12
author Bram Moolenaar <Bram@vim.org> Sun Jul 04 18:28:15 2021 +0200
committer Bram Moolenaar <Bram@vim.org> Sun Jul 04 18:28:15 2021 +0200
tree 5cfa8ff369a76cfb7065eddaaca21a2c782260b5
parent f33cae605064c8bdb908a8069d936f752572cd76

patch 8.2.3104: Vim9: unspecified function type causes type error

Problem:    Vim9: unspecified function type causes type error.
Solution:   Don't check type when min_argcount is negative. (issue #8492)

src/globals.h

diff --git a/src/globals.h b/src/globals.h
index dd24cbb..b6076df 100644
--- a/src/globals.h
+++ b/src/globals.h
@@ -421,7 +421,7 @@
 // Special value used for @#.
 EXTERN type_T t_number_or_string INIT6(VAR_STRING, 0, 0, TTFLAG_STATIC, NULL, NULL);
 
-EXTERN type_T t_func_unknown INIT6(VAR_FUNC, -1, 0, TTFLAG_STATIC, &t_unknown, NULL);
+EXTERN type_T t_func_unknown INIT6(VAR_FUNC, -1, -1, TTFLAG_STATIC, &t_unknown, NULL);
 EXTERN type_T t_func_void INIT6(VAR_FUNC, -1, 0, TTFLAG_STATIC, &t_void, NULL);
 EXTERN type_T t_func_any INIT6(VAR_FUNC, -1, 0, TTFLAG_STATIC, &t_any, NULL);
 EXTERN type_T t_func_number INIT6(VAR_FUNC, -1, 0, TTFLAG_STATIC, &t_number, NULL);

src/testdir/test_vim9_assign.vim

diff --git a/src/testdir/test_vim9_assign.vim b/src/testdir/test_vim9_assign.vim
index 92ffa00..5f5b5d7 100644
--- a/src/testdir/test_vim9_assign.vim
+++ b/src/testdir/test_vim9_assign.vim
@@ -661,6 +661,15 @@
   CheckDefExecAndScriptFailure(lines, 'E1012:', 5)
 enddef
 
+def PartFunc(b: bool): string
+  return 'done'
+enddef
+
+def Test_assignment_partial()
+  var Partial: func(): string = function(PartFunc, [true])
+  assert_equal('done', Partial())
+enddef
+
 def Test_assignment_list_any_index()
    var l: list<number> = [1, 2]
   for  [x, y, _]

src/version.c

diff --git a/src/version.c b/src/version.c
index a9c2958..1f2b18f 100644
--- a/src/version.c
+++ b/src/version.c
@@ -756,6 +756,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    3104,
+/**/
     3103,
 /**/
     3102,

src/vim9type.c

diff --git a/src/vim9type.c b/src/vim9type.c
index c92e063..b349404 100644
--- a/src/vim9type.c
+++ b/src/vim9type.c
@@ -526,6 +526,7 @@
 		ret = check_type(expected->tt_member, actual->tt_member,
 								 FALSE, where);
 	    if (ret == OK && expected->tt_argcount != -1
+		    && actual->tt_min_argcount != -1
 		    && (actual->tt_argcount == -1
 			|| (actual->tt_argcount < expected->tt_min_argcount
 			    || actual->tt_argcount > expected->tt_argcount)))