tests/sav/base_virtual_type_self_alt5.res

   1 alt/base_virtual_type_self_alt5.nit:44,9: Type Error: expected `A[U]`, got `Float`.
   2 alt/base_virtual_type_self_alt5.nit:45,7--12: Type Error: expected `Float`, got `A[U]: A[Int]`.
   3 alt/base_virtual_type_self_alt5.nit:47,7--12: Type Error: expected `Float`, got `A[A[U]]: A[A[Int]]`.