alt/base_virtual_type_check_alt1.nit:65,10--14: Type Error: expected `K`, got `J`.