commit a9a7c0c602b231dc37c4b0f62ade0421c84fca03
author Yegappan Lakshmanan <yegappan@yahoo.com> Sat Jul 17 19:11:07 2021 +0200
committer Bram Moolenaar <Bram@vim.org> Sat Jul 17 19:11:07 2021 +0200
tree a7e6e2dcad98c9dd2244cf9c368360b71abf61a6
parent 20c370d9f2ee89cb854054edf71f5004f6efff77

patch 8.2.3173: Vim9: argument types are not checked at compile time

Problem:    Vim9: argument types are not checked at compile time.
Solution:   Add more type checks. (Yegappan Lakshmanan, closes #8581)

src/strings.c

diff --git a/src/strings.c b/src/strings.c
index a87922d..98d420c 100644
--- a/src/strings.c
+++ b/src/strings.c
@@ -902,6 +902,12 @@
     if (rettv_list_alloc(rettv) == FAIL)
 	return;
 
+    if (in_vim9script()
+	    && (check_for_string_arg(argvars, 0) == FAIL
+		|| (argvars[1].v_type != VAR_UNKNOWN
+		    && check_for_bool_arg(argvars, 1) == FAIL)))
+	return;
+
     if (argvars[1].v_type != VAR_UNKNOWN)
 	utf8 = (int)tv_get_bool_chk(&argvars[1], NULL);
 
@@ -1108,6 +1114,12 @@
 {
     varnumber_T		skipcc = FALSE;
 
+    if (in_vim9script()
+	    && (check_for_string_arg(argvars, 0) == FAIL
+		|| (argvars[1].v_type != VAR_UNKNOWN
+		    && check_for_bool_arg(argvars, 1) == FAIL)))
+	return;
+
     if (argvars[1].v_type != VAR_UNKNOWN)
 	skipcc = tv_get_bool(&argvars[1]);
     if (skipcc < 0 || skipcc > 1)