tests/sav/base_closure6_alt1.sav

   1 alt/base_closure6_alt1.nit:52,5--25: Type error: expected U, got T
   2 alt/base_closure6_alt1.nit:54,25: Type error: no most general type. Got V and U.
   3 alt/base_closure6_alt1.nit:56,5--60,8: Type error: expected U, got T
   4 alt/base_closure6_alt1.nit:64,8: Type error: no most general type. Got V and U at 63,8.