tests/sav/base_closure6_alt1.sav

   1 alt/base_closure6_alt1.nit:53,5--25: Type error: expected U, got T
   2 alt/base_closure6_alt1.nit:55,25--25: Type error: expected U, got V
   3 alt/base_closure6_alt1.nit:57,5--61:8: Type error: expected U, got T
   4 alt/base_closure6_alt1.nit:65,8--8: Type error: expected U, got V