Re: Duplicate keys in map construction

> It's possible that this was my rationale for leaving it implementation-dependent whether the old key or the new key is used; being over-prescriptive here could be excessiely constraining on implementations built on standard libraries.

I agree; it will be rare enough.