bug: undetected uninitialized attr because of generic

in alt1, A[Int]::e is statically typed by Int.
Therefore is should be catched as uninitialized.

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/tests/base_attr_gen.nit b/tests/base_attr_gen.nit
new file mode 100644 (file)
index 0000000..6da20f8
--- /dev/null
+++ b/tests/base_attr_gen.nit
@@ -0,0 +1,8 @@
+class A[E]
+       var e: E
+       init do end
+end
+
+var a = new A[nullable Int]#!alt1#
+#alt1#var a = new A[Int]
+a.e.output

diff --git a/tests/sav/base_attr_gen.sav b/tests/sav/base_attr_gen.sav
new file mode 100644 (file)
index 0000000..39b4eea
--- /dev/null
+++ b/tests/sav/base_attr_gen.sav
@@ -0,0 +1 @@
+Reciever is null (./base_attr_gen.nit:8)

diff --git a/tests/sav/base_attr_gen_alt1.fail b/tests/sav/base_attr_gen_alt1.fail
new file mode 100644 (file)
index 0000000..f7c333b
--- /dev/null
+++ b/tests/sav/base_attr_gen_alt1.fail
@@ -0,0 +1 @@
+Reciever is null (alt/base_attr_gen_alt1.nit:7)