alt/base_virtual_type2_alt1.nit:46,1--7: Type error: expected U, got T