I was reading the nomicon and the paragraph regarding Empty Types caught my eye:
The gist of it is that you can use an Empty Type to statically guarantee that a returned
Result is never an error.
Is there a standard Empty Type like
Void in the nomicon example?
I have some infallible functions that are required to return
Result where such a type would be helpful.