From ae1ce2036c600c9a4fa0746e5221e6b4e4502b34 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Thu, 26 Feb 2026 19:07:25 +0100
Subject: [PATCH] Added a missing instantiate needed to handle tvars

---
 src/analysis/typepal/Solver.rsc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
index dcbe5ee..8d73b47 100644
--- a/src/analysis/typepal/Solver.rsc
+++ b/src/analysis/typepal/Solver.rsc
@@ -674,6 +674,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
         if(!solver_isFullyInstantiated(containerType)){
             throw TypeUnavailable();
         }
+        containerType = instantiate(containerType);
         selectorLoc = getLogicalLoc(selector);
         selectorOrgName = "<selector>";
         selectorName = normalizeName(selectorOrgName);