alt/base_virtual_type5_alt2.nit:27,1--11: Type error: expected U, got T