tests/sav/base_isa_vt_gen1.res

   1 base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
   2 base_isa_vt_gen1.nit:54,8--52: Warning: Expression is already a Triple[String, Int, nullable Object].
   3 base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
   4 base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
   5 base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
   6 true