patch 8.2.3168: Vim9: type error for constant of type any
Problem: Vim9: type error for constant of type any.
Solution: Do add a runtime type check if a constant has type any.
(closes #8570)
diff --git a/src/testdir/test_vim9_assign.vim b/src/testdir/test_vim9_assign.vim
index 6bbbc36..3599d6c 100644
--- a/src/testdir/test_vim9_assign.vim
+++ b/src/testdir/test_vim9_assign.vim
@@ -1667,6 +1667,16 @@
s:d = {}
END
CheckScriptSuccess(lines)
+
+ lines =<< trim END
+ vim9script
+ var d = {a: 1, b: [2]}
+ def Func(b: bool)
+ var l: list<number> = b ? d.b : [3]
+ enddef
+ defcompile
+ END
+ CheckScriptSuccess(lines)
enddef
let g:dict_number = #{one: 1, two: 2}
diff --git a/src/version.c b/src/version.c
index 6a4943d..b8c782e 100644
--- a/src/version.c
+++ b/src/version.c
@@ -756,6 +756,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 3168,
+/**/
3167,
/**/
3166,
diff --git a/src/vim9compile.c b/src/vim9compile.c
index 4763e95..956ce44 100644
--- a/src/vim9compile.c
+++ b/src/vim9compile.c
@@ -1051,7 +1051,8 @@
// If the actual type can be the expected type add a runtime check.
// If it's a constant a runtime check makes no sense.
- if (!actual_is_const && use_typecheck(actual, expected))
+ if ((!actual_is_const || actual == &t_any)
+ && use_typecheck(actual, expected))
{
generate_TYPECHECK(cctx, expected, offset, arg_idx);
return OK;