On Mon, 3 Jul 2023 at 18:10, Yuya Watari <watari.y...@gmail.com> wrote: > Thank you for your reply. I am +1 to your change. I think these > assertions will help someone who changes the Bitmapset implementations > in the future.
I've now pushed the patch. Thanks for all your reviews and detailed benchmarks. David