Void as an associated type?

[anon9791410]

Void not carrying over like you're expecting leads to the necessity to do this kind of thing:

send() | Apple Developer Documentation

Convenience member on Result when when Success is Void

This is a tiny refinement to the std lib that to provide a convenience member on Result when when Success is Void. Result types with a success type of Void are commonly used when no further information about the result of the operation are required – other than to know it was successful. In these cases, it is necessary to return a Result via Result.success(()). The double parentheses can sometimes become an impediment to legibility – especially if wrapped within another set of parentheses, e.g…