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