Rascal rename crashed unexpectedly with: Cannot read TModel for module 'lang::rascalcore::check::Import'at: |std:///util/Monitor.rsc|(3538,1,<82,11>,<82,12>)

[PaulKlint]

Context: trying to rename complete in lang::rascalcore::check::Import to completeModuleStatus.
Suspicion: the type checker has not yet written the .tpl file for lang::rascalcore::check::Import

Exception thrown:

|std:///util/Monitor.rsc|:82,11: unexpectedFailure("Cannot read TModel for module \'lang::rascalcore::check::Import\'")

Stacktrace:

	at job(|std:///util/Monitor.rsc|(3525,19,<81,11>,<83,3>))
	at rascalRenameSymbol(|lib://rascal-lsp/lang/rascal/lsp/refactor/Rename.rsc|(20862,6482,<444,0>,<595,18>))
	at $shell$(|main://$shell$|)

[toinehartman]

Thanks for reporting @PaulKlint. This indicates that getTModelForModule (in lang::rascalcore::check::CheckerCommon) returned <false, _, _>.

What does your workspace look like? Is it just rascal-core?

[toinehartman]

And which version of the extension are you using exactly? I'll try to reproduce this.

[PaulKlint]

I am using VsCode plugin v0.12.0-head1587
My workspace contains: rascal-core, rascal, typepal, vallang, rascal-core-big-tests, www.swat.engineering