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

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

diff --git a/tests/sav/test_json_deserialization_safe.res b/tests/sav/test_json_deserialization_safe.res
new file mode 100644 (file)
index 0000000..7d64cc0
--- /dev/null
+++ b/tests/sav/test_json_deserialization_safe.res
@@ -0,0 +1,22 @@
+Deserialization Error: `DangerSub` is not a subtype of the static type `nullable A`
+Deserialization Error: `DangerSub` is not a subtype of the static type `nullable A`
+<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>
+---
+
+<B other:null next:<B other:null next:null>>
+---
+Deserialization Error: `A` is not a subtype of the static type `nullable B`
+<B other:null next:null>
+---
+
+<G[A] e:<A other:null next:null>>
+---
+Deserialization Error: `A` is not a subtype of the static type `B`
+Deserialization Error: Wrong type on `G[B]::e` expected `E`, got `null`
+<G[B] e:not-set>