On Tue, 2020-05-19 at 11:58 +0100, Richard Sandiford wrote: > Do you have a cut-down reproducer that shows when this is happening? My project (and its test application) are open-source, so you could see that yourself, but I'm affraid that this is really very far from being "cut-down" (; I can try to trim it down a bit... Regards, FCh