test: add new test base_virtual_type_check.nit

[nit.git] / tests / sav / base_virtual_type_check_alt4.sav

diff --git a/tests/sav/base_virtual_type_check_alt4.sav b/tests/sav/base_virtual_type_check_alt4.sav
new file mode 100644 (file)
index 0000000..468367c
--- /dev/null
+++ b/tests/sav/base_virtual_type_check_alt4.sav
@@ -0,0 +1 @@
+alt/base_virtual_type_check_alt4.nit:76,10--14: Type error: expected L, got K