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
# Description
## Problem
Resolves#5410
## Summary
https://github.com/noir-lang/noir/assets/209371/6ed5b6ee-8355-4374-9626-9aacea2b131a
## Additional Context
None
## Documentation\*
Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** 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: Tom French <[email protected]>
Problem
Allow renaming a trait globally in a project/workspace. Relatedly, allow finding all references to a trait.
The text was updated successfully, but these errors were encountered: