On Wed, Apr 27, 2022 at 1:29 PM Bart Schaefer wrote: > > Naively, the following not-really-a-patch-yet fixes it, and all tests > still pass. Does this make more sense?