alt/base_virtual_type_check_alt7.nit:85,11--15: Type Error: expected `K`, got `J`.