Skip to content

LSP should not allow to rename things defined in other package

After stdlib things appeared in get scope, if I create a.mligo with

let q : bool = assert true

I can rename (using F2 button in vscode) assert, true and even bool, but prepare rename should forbid me to do this

Now it forbids renaming only renaming of a type like string which has no definition.

It would be nice to fix go to definition (so it temporarily returns None) for such things simultaneously.

Edited by Sorokin-Anton