patch 9.0.1265: using an interface method may give a compilation error
Problem: Using an interface method may give a compilation error.
Solution: Do not try to compile the body of a method of an interface.
(closes #11885)
diff --git a/src/testdir/test_vim9_class.vim b/src/testdir/test_vim9_class.vim
index 023068c..a8128c7 100644
--- a/src/testdir/test_vim9_class.vim
+++ b/src/testdir/test_vim9_class.vim
@@ -1049,6 +1049,23 @@
unlet g:result
END
v9.CheckScriptSuccess(lines)
+
+ # No class that implements the interface.
+ lines =<< trim END
+ vim9script
+
+ interface IWithEE
+ def Enter(): any
+ def Exit(): void
+ endinterface
+
+ def With1(ee: IWithEE, F: func)
+ var r = ee.Enter()
+ enddef
+
+ defcompile
+ END
+ v9.CheckScriptSuccess(lines)
enddef
def Test_class_used_as_type()
diff --git a/src/version.c b/src/version.c
index 5436c99..24a2770 100644
--- a/src/version.c
+++ b/src/version.c
@@ -696,6 +696,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1265,
+/**/
1264,
/**/
1263,
diff --git a/src/vim9compile.c b/src/vim9compile.c
index 3f97c00..27b71f7 100644
--- a/src/vim9compile.c
+++ b/src/vim9compile.c
@@ -3181,6 +3181,16 @@
}
ufunc->uf_args_visible = ufunc->uf_args.ga_len;
+ // Compiling a function in an interface is done to get the function type.
+ // No code is actually compiled.
+ if (ufunc->uf_class != NULL
+ && (ufunc->uf_class->class_flags & CLASS_INTERFACE))
+ {
+ ufunc->uf_def_status = UF_NOT_COMPILED;
+ ret = OK;
+ goto erret;
+ }
+
/*
* Loop over all the lines of the function and generate instructions.
*/
@@ -3705,7 +3715,7 @@
iemsg("Type stack underflow");
goto erret;
}
- }
+ } // END of the loop over all the function body lines.
if (cctx.ctx_scope != NULL)
{