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:46,9: Type error: expected A[T], got Float
alt/base_virtual_type_self_alt2.nit:47,7--12: Type error: expected Float, got A[T]