alt/base_virtual_type_alt2.nit:40,1--7: Type error: expected T, got Int