SubKeys must be binary()/null

SubKey of integer() used - falls foul of stronger checking
martinsumner · Nov 18, 2024 · bf4c345 · bf4c345
1 parent 0f7ed91
commit bf4c345
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/property/leveled_statemeqc.erl b/test/property/leveled_statemeqc.erl
@@ -342,7 +342,7 @@ mput_pre(S) ->
 %%
 %% Really weird to have to specify a value in case of a remove action
 mput_args(#{leveled := Pid, previous_keys := PK}) ->
-    ?LET(Objs, list({gen_key_in_bucket(PK), nat()}),
+    ?LET(Objs, list({gen_key_in_bucket(PK), null}),
          [Pid, [ {weighted_default({5, add}, {1, remove}), Bucket, Key, SubKey, gen_val()} || {{Key, Bucket}, SubKey} <- Objs ]]).