# HG changeset patch
# User Bram Moolenaar <Bram@vim.org>
# Date 1595276104 -7200
# Node ID e1aeb986712f8d1ff98ed3b7a9023924ee6ba2fd
# Parent  4fde350c969a728e68ea606d68a6136d0a3c8781
patch 8.2.1256: Vim9: type wrong after getting dict item in lambda

Commit: https://github.com/vim/vim/commit/7892b953e0e496408008434ae3505293c0c93af1
Author: Bram Moolenaar <Bram@vim.org>
Date:   Mon Jul 20 22:09:34 2020 +0200

    patch 8.2.1256: Vim9: type wrong after getting dict item in lambda

    Problem:    Vim9: type wrong after getting dict item in lambda.
    Solution:   Set the type to "any" after enforcing dict type. (closes https://github.com/vim/vim/issues/6491)

diff --git a/src/testdir/test_vim9_expr.vim b/src/testdir/test_vim9_expr.vim
--- a/src/testdir/test_vim9_expr.vim
+++ b/src/testdir/test_vim9_expr.vim
@@ -1176,6 +1176,10 @@ def Test_expr7_lambda()
   let dl = [{'key': 0}, {'key': 22}]->filter({ _, v -> v['key'] })
   assert_equal([{'key': 22}], dl)
 
+  dl = [{'key': 12}, {'foo': 34}]
+  assert_equal([{'key': 12}], filter(dl,
+	{_, v -> has_key(v, 'key') ? v['key'] == 12 : 0}))
+
   call CheckDefFailure(["filter([1, 2], {k,v -> 1})"], 'E1069:')
 enddef
 
diff --git a/src/version.c b/src/version.c
--- a/src/version.c
+++ b/src/version.c
@@ -755,6 +755,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1256,
+/**/
     1255,
 /**/
     1254,
diff --git a/src/vim9compile.c b/src/vim9compile.c
--- a/src/vim9compile.c
+++ b/src/vim9compile.c
@@ -3797,9 +3797,12 @@ compile_subscript(
 	    {
 		if ((*typep)->tt_type == VAR_DICT)
 		    *typep = (*typep)->tt_member;
-		else if (need_type(*typep, &t_dict_any, -2, cctx, FALSE)
-								       == FAIL)
-		    return FAIL;
+		else
+		{
+		    if (need_type(*typep, &t_dict_any, -2, cctx, FALSE) == FAIL)
+			return FAIL;
+		    *typep = &t_any;
+		}
 		if (may_generate_2STRING(-1, cctx) == FAIL)
 		    return FAIL;
 		if (generate_instr_drop(cctx, ISN_MEMBER, 1) == FAIL)