syntax: better error message for generic class arity error

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

diff --git a/tests/sav/error_type_not_ok5_alt1.sav b/tests/sav/error_type_not_ok5_alt1.sav
new file mode 100644 (file)
index 0000000..798968a
--- /dev/null
+++ b/tests/sav/error_type_not_ok5_alt1.sav
@@ -0,0 +1,6 @@
+alt/error_type_not_ok5_alt1.nit:23,8--11: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:25,9--21: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:28,14--17: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:29,11--14: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:30,11--14: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:31,13--16: Type error: 'Fail' is a generic class.