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