tests/sav/base_closure6_alt1.sav

   1 alt/base_closure6_alt1.nit:55,5--25: Type error: expected U, got T
   2 alt/base_closure6_alt1.nit:57,25: Type error: no most general type. Got V and U.
   3 alt/base_closure6_alt1.nit:59,5--69,3: Type error: expected U, got T
   4 alt/base_closure6_alt1.nit:74,8: Type error: no most general type. Got V and U at 72,8.