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