-
-
Notifications
You must be signed in to change notification settings - Fork 3k
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
RFC: Type Signatures #22717
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The idea behind this ticket is to discuss the implementation of signatures that can be applied to types instead of functions.
The type signatures should match an specific amount of constraints in order to be selected as good candidates. F.ex:
Note that there's already some type inference support implemented by propagating only the types found in the function signatures. But there are more constrains that we can use in order to improve the quality of the autotyping as well as autonaming.
Reference links:
The text was updated successfully, but these errors were encountered: