alt/base_virtual_type3_alt1.nit:32,5--15: Type error: expected Int, got T