Any unspecified type parameters are unconstrained, so it is an abstract type that includes any kind of Dict where the key type is T. Or put another way, Dict{K} means the same thing as Dict{K, V} where V. This method signature will only match if the key type of cm is the same as the element type of x. The value type of cm can be anything.
4 Likes