Hi Max ,
the ticket is fine and I have already created a PR with a potential fix https://github.com/hibernate/hibernate-orm/pull/6060
Thanks a lot!
Best