1cc3250e76
This fixes a compilation error with tests on current `main`. I didn't track down the exact provenance, but I'd guess it's the result of a botched merge. (i.e., Two or more PRs that pass CI independently, but when merged cause failures.)