My expectation is [key]value where key: comparable not [comparable]value. The second has no real use case unless you can explicitly intermix the type. In case of the former, the key-type mismatch has to be explicitly rejected by the compiler.
My expectation is [key]value where key: comparable not [comparable]value. The second has no real use case unless you can explicitly intermix the type. In case of the former, the key-type mismatch has to be explicitly rejected by the compiler.