Support for locating the original declaration of the name at the specified module coordinates. Mandated by Go To Type Definition Request.
This amounts to implementing org.eclipse.lsp4j.TextDocumentService.typeDefinition.
In Avail, this is essentially a scope-reduced variant of Go To Definition that only operates on type-valued expressions. See that issue for more guidance and detail.
Support for locating the original declaration of the name at the specified module coordinates. Mandated by Go To Type Definition Request.
This amounts to implementing
org.eclipse.lsp4j.TextDocumentService.typeDefinition.In Avail, this is essentially a scope-reduced variant of Go To Definition that only operates on type-valued expressions. See that issue for more guidance and detail.