tests/sav/base_isa_gen8.res

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