tests/sav/base_isa_gen8.res

   1 base_isa_gen8.nit:49,8--17: Warning: Expression is already a A[X].
   2 base_isa_gen8.nit:50,8--17: Warning: Expression is already a A[Y].
   3 base_isa_gen8.nit:51,8--17: Warning: Expression is already a A[Z].
   4 base_isa_gen8.nit:53,8--21: Warning: Expression is already a B[Object] since it is a B[X].
   5 base_isa_gen8.nit:55,8--21: Warning: Expression is already a C[X, X].
   6 base_isa_gen8.nit:56,8--21: Warning: Expression is already a C[X, Y].
   7 base_isa_gen8.nit:57,8--21: Warning: Expression is already a C[X, Z].
   8 base_isa_gen8.nit:59,8--22: Warning: Expression is already a D[X, Y, Z].
   9 base_isa_gen8.nit:60,8--28: Warning: Expression is already a E[X, Y, Z, Bool].
  10 true