tests/sav/base_isa_nullable1.res

   1 base_isa_nullable1.nit:39,8--15: Warning: Expression is already a A since it is a B[Integer].
   2 base_isa_nullable1.nit:41,8--24: Warning: Expression is already a B[Discrete] since it is a B[Integer].
   3 base_isa_nullable1.nit:46,8--25: Warning: Expression is already a B[B[Integer]].
   4 base_isa_nullable1.nit:48,8--26: Warning: Expression is already a B[B[Discrete]] since it is a B[B[Integer]].
   5 base_isa_nullable1.nit:50,8--33: Warning: Expression is already a B[nullable Discrete] since it is a B[Discrete].
   6 true