> Yes, that's what makes it more generic than Result. Indeed that's the only practical difference except for a few helper functions and a #[must_use]

I think you have some fundamental misconceptions about sum types. Note that enums also don't even need to have any variants.

enum Never {}

Either way, this discussion is no longer fruitful. I encourage you to read about sum & product types.