Decription
Code lens listing and allowing quick navigation to references and, in the case of a trait, to the implementation are very useful features and must-haves for an IDE. It would be great to have something like this.
LSP Support is provided via textDocument/codeLens.
Screenshots
As seen in VS Code for a trait

Decription
Code lens listing and allowing quick navigation to references and, in the case of a trait, to the implementation are very useful features and must-haves for an IDE. It would be great to have something like this.
LSP Support is provided via
textDocument/codeLens.Screenshots
As seen in VS Code for a trait