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
Improve expected type handling for calls #9560
Labels
A-ty
type system / type inference / traits / method resolution
E-hard
S-actionable
Someone could pick this issue up and work on it right now
Comments
flodiebold
added
E-hard
A-ty
type system / type inference / traits / method resolution
S-actionable
Someone could pick this issue up and work on it right now
labels
Jul 11, 2021
10 tasks
flodiebold
added a commit
to flodiebold/rust-analyzer
that referenced
this issue
Jul 11, 2021
bors bot
added a commit
that referenced
this issue
Jul 11, 2021
9572: fix: Work around older synstructure derives r=lnicola a=flodiebold Fixes #9562, until the proper fix rust-lang/chalk#717 works which requires mystor/synstructure#47 to be released. Also add an unrelated test, for #9560. Co-authored-by: Florian Diebold <flodiebold@gmail.com>
flodiebold
added a commit
to flodiebold/rust-analyzer
that referenced
this issue
Aug 5, 2021
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
A-ty
type system / type inference / traits / method resolution
E-hard
S-actionable
Someone could pick this issue up and work on it right now
We basically need to implement this logic from rustc to get the right coercions working in some cases, for example in this test (already added on master):
The text was updated successfully, but these errors were encountered: