Open
Description
IntMap is a bit peculiar. Among other things, it has some special cases that aren't necessarily going to be hit by the QuickCheck properties. For example, when combining two maps, it's at least somewhat interesting if all the keys in one or both maps are positive or negative. We may not hit all those cases every time.