-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Potentially eliminate void
?
#211
Labels
enhancement
New feature or request
Comments
The new |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It is currently required right now to declare a function does not return a value, but as an actual variable type it is wholly useless.
Maybe<T>
fills in for optional types and all variables are required to have a value assigned to them, so there's no "default to void" behavior. Therefore defining a variable asvoid
and passing it around is useless.If we made trying to assign the return type of a non-returning function a compiler error, we could turn
void
simply into an implementation detail instead of a variable type.The text was updated successfully, but these errors were encountered: