tests/sav/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 true