nitg: add type-checks on covariant parameters

[nit.git] / tests / sav / test_variance_param_alt3.res

diff --git a/tests/sav/test_variance_param_alt3.res b/tests/sav/test_variance_param_alt3.res
new file mode 100644 (file)
index 0000000..e25d4f6
--- /dev/null
+++ b/tests/sav/test_variance_param_alt3.res
@@ -0,0 +1,7 @@
+AB5
+B5
+5
+B5
+5
+5
+Runtime error: Cast failed (alt/test_variance_param_alt3.nit:43)