You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
traitFieldable{fnto_field(self) -> Field;}implFieldableforu32{fnto_field(self) -> Field{let res = selfasField;
res *3}}fnmain(x:u32){assert(x.to_field() == 15);}
User should be able to navigate to declaration of to_field when on that symbol of line assert(x.to_field() == 15); which should result in navigation to fn to_field(self) -> Field; symbol of trait Fieldable.
The text was updated successfully, but these errors were encountered:
# Description
## Problem\*
Resolves <!-- Link to GitHub Issue -->
feat(lsp): goto declaration for trait methods #3724
## Summary\*
Goto trait method declaration from trait method implementation or trait
method invocation.
## Additional Context
## Documentation\*
Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.
# PR Checklist\*
- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
---------
Co-authored-by: jfecher <jake@aztecprotocol.com>
Considering snippet below
User should be able to navigate to declaration of
to_field
when on that symbol of lineassert(x.to_field() == 15);
which should result in navigation tofn to_field(self) -> Field;
symbol oftrait Fieldable
.The text was updated successfully, but these errors were encountered: