On Mon, 3 Jul 2023 at 18:10, Yuya Watari <[email protected]> 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
