Can’t go to definition when the cursor is at the right side of a term

[by-cloud]

VSCode shows notifications like “No definition found for ‘suc’”.

[ice1000]

https://github.com/aya-prover/aya-dev/blob/de31e4fbaed2c699ee56b068e484abaa42e89199/api/src/main/java/org/aya/api/error/SourcePos.java#L90

Does changing the above column <= endColumn to column + 1 <= endColumn solve the problem

[imkiva]

I cannot reproduce the problem. Can you describe what you did?

[ice1000]

Maybe putting the cursor at suc<cursor> and press the shortcut for goto def

[ice1000]

Not by ctrl+clicking