alt/base_virtual_type5_alt1.nit:26,7--7: Type error: expected nullable U, got Int