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