-alt/base_virtual_type_self_alt2.nit:44,9: Type error: expected U, got Float
-alt/base_virtual_type_self_alt2.nit:45,7--12: Type error: expected Float, got U
-alt/base_virtual_type_self_alt2.nit:47,7--12: Type error: expected Float, got A[U]
+alt/base_virtual_type_self_alt2.nit:44,9: Type Error: expected `Int`, got `Float`.
+alt/base_virtual_type_self_alt2.nit:45,7--12: Type Error: expected `Float`, got `Int`.
+alt/base_virtual_type_self_alt2.nit:47,7--12: Type Error: expected `Float`, got `A[Int]`.