I decided try to reproduce it based on the stacktrace we got. I managed to do it and posted the reproducer. One hour later, my colleague created a PR with a fix.

So please, pretty please, provide reproducers, it makes a huge difference and is the best guarantee to get your issues fixed promptly.