show problem with map generation

Author: MaximilianAlgehed

examples/Constrained/Examples/Map.hs

@@ -152,3 +152,10 @@ keysExample = constrained $ \k ->
   where
     as = lit [1 .. 10]
     bs = lit [11 .. 20]
+
+failingKVSpec :: Specification (Map Int Int)
+failingKVSpec = constrained $ \ m ->
+  [ assert $ 10 <. sizeOf_ m
+  , forAll' m $ \ k _v ->
+      k `satisfies` chooseSpec (1, constrained $ \k' -> 2 * k' ==. 1) (3, mempty)
+  ]