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

[nit.git] / tests / sav / nitce / test_json_deserialization_safe.res

diff --git a/tests/sav/nitce/test_json_deserialization_safe.res b/tests/sav/nitce/test_json_deserialization_safe.res
new file mode 100644 (file)
index 0000000..fc7aae9
--- /dev/null
+++ b/tests/sav/nitce/test_json_deserialization_safe.res
@@ -0,0 +1,23 @@
+Deserialization Error: `DangerSub` is not a subtype of the static type `nullable A`
+Deserialization Error: `DangerSub` is not a subtype of the static type ``
+<A other:null next:null>
+---
+DANGER 'My text 1'
+DANGER 'My text 2'
+Deserialization Error: Wrong type on `A::other` expected `nullable A`, got `DangerSub`
+Deserialization Error: Wrong type on `A::next` expected `C`, got `DangerSub`
+<A other:null next:null>
+---
+Deserialization Error: `B` is not a subtype of the static type ``
+<B other:null next:null>
+---
+Deserialization Error: `A` is not a subtype of the static type ``
+<B other:null next:null>
+---
+Deserialization Error: `A` is not a subtype of the static type ``
+Deserialization Error: Wrong type on `G::e` expected `E`, got `null`
+<G e:not-set>
+---
+Deserialization Error: `A` is not a subtype of the static type ``
+Deserialization Error: Wrong type on `G::e` expected `E`, got `null`
+<G e:not-set>