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: Int`.
alt/base_virtual_type_self_alt2.nit:47,7--12: Type Error: expected `Float`, got `A[U]: A[Int]`.