alt/base_virtual_type4_alt1.nit:24,2--12: Type error: expected U, got T