Fixed by the above commit.
Real credit goes to Josh Pieper, whose carefully prepared testcase made it possible to investigate and fix the bug.
Fixed by the above commit.
Real credit goes to Josh Pieper, whose carefully prepared testcase made it possible to investigate and fix the bug.