tests/sav/test_json_deserialization_safe.res

   1 Deserialization Error: `DangerSub` is not a subtype of the static type `nullable A`
   2 Deserialization Error: `DangerSub` is not a subtype of the static type `nullable A`
   3 <A other:null next:null>
   4 ---
   5 DANGER 'My text 1'
   6 DANGER 'My text 2'
   7 Deserialization Error: Wrong type on `A::other` expected `nullable A`, got `DangerSub`
   8 Deserialization Error: Wrong type on `A::next` expected `C`, got `DangerSub`
   9 <A other:null next:null>
  10 ---
  11
  12 <B other:null next:<B other:null next:null>>
  13 ---
  14 Deserialization Error: `A` is not a subtype of the static type `nullable B`
  15 <B other:null next:null>
  16 ---
  17
  18 <G[A] e:<A other:null next:null>>
  19 ---
  20 Deserialization Error: `A` is not a subtype of the static type `B`
  21 Deserialization Error: Wrong type on `G[B]::e` expected `E`, got `null`
  22 <G[B] e:not-set>