Context: Attempting to rename an ADT that was mentioned two other times in the same file (and only in that file) causes this crash.
|std:///util/Reflective.rsc|:283,84: "No module name found for |jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/rascal/$Type.tpl|;\nsrcs=[|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/src/org/rascalmpl/library|,|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/src/org/rascalmpl/compiler|,|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/src/org/rascalmpl/tutor|,|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/test/org/rascalmpl/test/data|,|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/test/org/rascalmpl/benchmark|];\nlibs=[]"
at getModuleName(|std:///util/Reflective.rsc|(7202,3076,<198,0>,<284,1>))
at tmodelForLoc(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal-lsp.jar!/lsp/lang/rascal/lsp/refactor/Rename.rsc|(11163,23,<238,16>,<238,39>))
at getTModelForLocCached(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/org/rascalmpl/typepal/analysis/typepal/refactor/Rename.rsc|(7622,88,<155,4>,<156,65>))
at findAdditionalDataLikeDefinitions(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal-lsp.jar!/lsp/lang/rascal/lsp/refactor/rename/Types.rsc|(3820,8,<83,19>,<83,27>))
at findAdditionalDefinitions(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal-lsp.jar!/lsp/lang/rascal/lsp/refactor/rename/Types.rsc|(3206,184,<72,0>,<73,57>))
at Anonymous Function(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/org/rascalmpl/typepal/analysis/typepal/refactor/Rename.rsc|(11403,43,<269,30>,<269,73>))
at job(|std:///util/Monitor.rsc|(3441,91,<78,11>,<80,7>))
at _rename(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/org/rascalmpl/typepal/analysis/typepal/refactor/Rename.rsc|(7119,7146,<139,0>,<345,43>))
at rename(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal.jar!/org/rascalmpl/typepal/analysis/typepal/refactor/Rename.rsc|(6777,33,<130,13>,<130,46>))
at rascalRenameSymbol(|jar+file:///C:/Users/Username/.vscode/extensions/usethesource.rascalmpl-0.13.0/assets/jars/rascal-lsp.jar!/lsp/lang/rascal/lsp/refactor/Rename.rsc|(12367,519,<272,11>,<285,6>))
at $(|main:///_dollar_|)
Context: Attempting to rename an ADT that was mentioned two other times in the same file (and only in that file) causes this crash.
Specifically, while simplifying the test case shown in usethesource/rascal#2633,
OuterDatawas being renamed via F2 in VS Code.Exception thrown:
Stacktrace: