alt/base_virtual_type_check_alt2.nit:68,10--14: Type error: expected K, got J