rascal icon indicating copy to clipboard operation
rascal copied to clipboard

jump-to-def of local parameter does not work if its type can not be resolved

Open jurgenvinju opened this issue 8 months ago • 0 comments

Describe the bug

Image

Here the type of block is somehow unresolved, but you can't jump-to-def anymore either (for example to fix the problem).

jurgenvinju avatar Mar 06 '25 09:03 jurgenvinju