It's now too late to edit my original comment but I've skimmed your code a little too fast and now I see that you do understand that Zig works with reified types. But in that case, why conflate too very different things? Returning values of different types is not the same as returning types.

Regardless, we are now very far removed from the original code I was commenting on, which doesn't use auto to return different types.