Merge remote-tracking branch 'upstream/master' into init_auto

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

diff --git a/tests/sav/test_attr_infer_type_alt1.res b/tests/sav/test_attr_infer_type_alt1.res
new file mode 100644 (file)
index 0000000..45ff36c
--- /dev/null
+++ b/tests/sav/test_attr_infer_type_alt1.res
@@ -0,0 +1,4 @@
+alt/test_attr_infer_type_alt1.nit:23,5--6: Type Error: ambiguous array type Int Float String
+alt/test_attr_infer_type_alt1.nit:24,5--6: Error: untyped attribute `test_attr_infer_type_alt1$A$a2`. Implicit typing allowed only for literals and new.
+alt/test_attr_infer_type_alt1.nit:25,5--6: Error: untyped attribute `test_attr_infer_type_alt1$A$a4`. Implicit typing allowed only for literals and new.
+alt/test_attr_infer_type_alt1.nit:27,5--6: Type Error: ambiguous array type Int String