commit c967d57aa9a6bede0f50c6986dcddc1dc035a354
author Bram Moolenaar <Bram@vim.org> Thu Jul 08 21:38:50 2021 +0200
committer Bram Moolenaar <Bram@vim.org> Thu Jul 08 21:38:50 2021 +0200
tree 7b4830d81fc898ceda58a5e5372eb8df97adadf7
parent f055d4502365f24de6c0f210a06e2c146a75dc4d

patch 8.2.3129: Vim9: imported uninitialized list does not get type checked

Problem:    Vim9: imported uninitialized list does not get type checked.
Solution:   Get type from imported variable.

src/testdir/test_vim9_script.vim

diff --git a/src/testdir/test_vim9_script.vim b/src/testdir/test_vim9_script.vim
index cde3e7c..d4fdd7c 100644
--- a/src/testdir/test_vim9_script.vim
+++ b/src/testdir/test_vim9_script.vim
@@ -1391,6 +1391,7 @@
     vim9script
     export var one = 1
     export var yes = 'yes'
+    export var slist: list<string>
   END
   writefile(export_lines, 'XexportAs')
 
@@ -1415,6 +1416,13 @@
   END
   CheckScriptSuccess(import_lines)
 
+  import_lines =<< trim END
+    vim9script
+    import {slist as impSlist} from './XexportAs'
+    impSlist->add(123)
+  END
+  CheckScriptFailure(import_lines, 'E1012: Type mismatch; expected string but got number')
+
   delete('XexportAs')
 enddef
 
@@ -1947,8 +1955,8 @@
         'g:imported_rtp = exported',
         ]
   writefile(import_lines, 'Ximport_rtp.vim')
-  mkdir('import')
-  writefile(s:export_script_lines, 'import/Xexport_rtp.vim')
+  mkdir('Ximport')
+  writefile(s:export_script_lines, 'Ximport/Xexport_rtp.vim')
 
   var save_rtp = &rtp
   &rtp = getcwd()
@@ -1960,7 +1968,7 @@
   Undo_export_script_lines()
   unlet g:imported_rtp
   delete('Ximport_rtp.vim')
-  delete('import', 'rf')
+  delete('Ximport', 'rf')
 enddef
 
 def Test_import_compile_error()