In #373 a reported bug was fixed which I think ought to have been caught by the asan/ubsan runs performed in CI: The bug seemed a clear case of undefined behavior. This underreporting is slightly concerning, and therefore deserves investigation.