Hmm, the first case looks very similar to the CDI TCK test covering this and I know for a fact that Weld passes that one.

For your second, more complex case - I think you are misquoting the spec here. In fact it seems to be exactly the same case as the first example because the required types are again actual types TwoKeyHashMap<String, Integer, Value>), not type variables.