I’m currently encountering an discrepancy between the type of a node in the IDE and its’ type after having the typechecker run programmatically. For some reason, some type equations aren’t substituting properly when I run `TypeCheckingContext.checkRoot()`. I’m getting back a typevar-style type instead of a resolved type. When the same code is checked in the IDE the type has been resolved.
For some context, we are reading models programmatically and need node types. Before the operation that reads the model, we run `checkRoot` on all root nodes in the model.