Skip to content
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

Type inference #92

Open
xeno-by opened this issue Jul 7, 2018 · 0 comments
Open

Type inference #92

xeno-by opened this issue Jul 7, 2018 · 0 comments
Labels

Comments

@xeno-by
Copy link
Contributor

xeno-by commented Jul 7, 2018

It seems to be very hard to properly support this language feature in Rsc in the near future, so this ticket is here for reference mostly. In the context of outlining, type inference involves:

  • Val/var/def return type inference
  • Type argument inference for inits (i.e. constructors and super constructors)
  • Polymorphic default parameters (see Polymorphic default parameters #331 for details).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

No branches or pull requests

1 participant