tests: add some tests for covariant genericity.

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

diff --git a/tests/sav/base_isa_gen2.res b/tests/sav/base_isa_gen2.res
new file mode 100644 (file)
index 0000000..642140a
--- /dev/null
+++ b/tests/sav/base_isa_gen2.res
@@ -0,0 +1,5 @@
+base_isa_gen2.nit:39,8--21: Warning: Expression is already a A[Object].
+base_isa_gen2.nit:41,8--21: Warning: Expression is already a A[Object] since it is a B[Object].
+base_isa_gen2.nit:44,8--21: Warning: Expression is already a A[Object] since it is a C[Object].
+base_isa_gen2.nit:48,8--21: Warning: Expression is already a A[Object] since it is a D[Object, Object].
+true