X-Git-Url: http://nitlanguage.org

diff --git a/tests/sav/base_virtual_type5_alt2.res b/tests/sav/base_virtual_type5_alt2.res
new file mode 100644
index 0000000..56130b2
--- /dev/null
+++ b/tests/sav/base_virtual_type5_alt2.res
@@ -0,0 +1 @@
+alt/base_virtual_type5_alt2.nit:27,7--11: Type error: expected nullable U, got T