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

Handle impl aliases in goto definition/find references #181

Open
mkaput opened this issue Jan 14, 2025 · 0 comments
Open

Handle impl aliases in goto definition/find references #181

mkaput opened this issue Jan 14, 2025 · 0 comments
Assignees
Milestone

Comments

@mkaput
Copy link
Member

mkaput commented Jan 14, 2025

example:

// Pow implementation for any algebra.
impl AnyAlgebraPow<A, impl AlgImp: Algebra<A>> of Pow<A> { ... }

// Impl alias for Pow of i32.
impl Int32Pow = AnyAlgebraPow<i32, I32Algebra>;
@mkaput mkaput added this to the Goto milestone Jan 14, 2025
@mkaput mkaput self-assigned this Jan 14, 2025
@mkaput mkaput added this to CairoLS Jan 14, 2025
@mkaput mkaput moved this to Triage in CairoLS Jan 14, 2025
@mkaput mkaput moved this from Triage to Backlog in CairoLS Jan 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Backlog
Development

No branches or pull requests

1 participant