But you have reminded me that this is actually an instance of a bigger class of problems (all rare edge cases, perhaps, but easy for a user to miss), now reported in #2029.