alt/base_virtual_type_check_alt9.nit:88,11--15: Type error: expected K, got J