Я прочитал спецификацию LSP , но не смог понять разницу между запросами определения goto и реализацией goto.
Запрос определения Goto
Запрос перехода к определению отправляется клиентом на сервер для разрешения местоположения определения символа в данной позиции текстового документа.
Запрос на выполнение Goto
Запрос перехода к реализации отправляется от клиента на сервер для определения местоположения реализации символа в данной позиции текстового документа.