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.

Sign up for GitHub

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

Jump to bottom

Show the inferred concrete type for a generic function call #136

Open
integraledelebesgue opened this issue Jan 7, 2025 · 0 comments · May be fixed by #577
Open

Show the inferred concrete type for a generic function call #136

integraledelebesgue opened this issue Jan 7, 2025 · 0 comments · May be fixed by #577
Assignees
@Draggu

Comments

@integraledelebesgue
Copy link
Member

Rust Analyzer has a nice feature: when we call a generic function without specifying the concrete type explicitly (i.e., it is inferred by the compiler), the hover for that call shows what type has been inferred:
Image

We can introduce something similar in the future.
@integraledelebesgue integraledelebesgue converted this from a draft issue Jan 7, 2025
@Arcticae Arcticae moved this from Triage to Backlog in Cairo Language Services Jan 8, 2025
@mkaput mkaput moved this from Backlog LS to Idea aka Deep Backlog in Cairo Language Services Mar 13, 2025
@Draggu Draggu self-assigned this Apr 8, 2025
@Draggu Draggu moved this from Sranie to Todo in Cairo Language Services Apr 8, 2025
@Draggu Draggu moved this from Todo to In Progress in Cairo Language Services Apr 8, 2025
Draggu added a commit that referenced this issue Apr 11, 2025
@Draggu
Show the inferred concrete type for a generic function call
a48d177 
Close #136

commit-id:891a836a
@Draggu Draggu linked a pull request Apr 11, 2025 that will close this issue
Open
Draggu added a commit that referenced this issue Apr 11, 2025
@Draggu
Show the inferred concrete type for a generic function call
0eb8078 
Close #136

commit-id:891a836a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Draggu Draggu

Labels
None yet
Projects
Cairo Language Services
Status: In Progress
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Show the inferred concrete type for a generic function call software-mansion/cairols
3 participants
@mkaput @Draggu @integraledelebesgue