tests: add base_prot_sig to test usage of private type in public signature

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

diff --git a/tests/sav/base_prot_sig_vt_alt1.res b/tests/sav/base_prot_sig_vt_alt1.res
new file mode 100644 (file)
index 0000000..fefdd66
--- /dev/null
+++ b/tests/sav/base_prot_sig_vt_alt1.res
@@ -0,0 +1,4 @@
+alt/base_prot_sig_vt_alt1.nit:22,13: Error: The public property `PUBB` cannot contain the private type `B`
+alt/base_prot_sig_vt_alt1.nit:42,17--20: Type error: class PROB not found in module base_prot_sig_vt_alt1.
+alt/base_prot_sig_vt_alt1.nit:43,27--30: Type error: class PROB not found in module base_prot_sig_vt_alt1.
+alt/base_prot_sig_vt_alt1.nit:44,25--28: Type error: class PROB not found in module base_prot_sig_vt_alt1.