Bingo. That completes the picture: https://github.com/ziglang/zig/issues/23367