tests/sav/nitg-e/base_isa_nullable2.res

   1 base_isa_nullable2.nit:27,8--23: Warning: expression is already a `nullable A` since it is a `A`.
   2 base_isa_nullable2.nit:29,8--30: Warning: expression is already a `nullable B[Object]` since it is a `B[Object]`.
   3 base_isa_nullable2.nit:30,8--39: Warning: expression is already a `nullable B[nullable Object]` since it is a `nullable B[Object]`.
   4 base_isa_nullable2.nit:33,8--30: Warning: expression is already a `C[nullable Object]`.
   5 Runtime error: Assert failed (base_isa_nullable2.nit:32)