Fixed error in collect for bounded type parameter

usethesource · Sep 1, 2024 · 1a73195 · 1a73195
1 parent 528d1ac
commit 1a73195
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectType.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectType.rsc
@@ -884,10 +884,11 @@ void collect(current: (TypeVar) `& <Name n> \<: <Type tp>`, Collector c){
         c.calculate("xxx", current, [n], AType (Solver s) { return s.getType(n)[closed=closed]; });
         //if(debugTP)println("Use <pname> at <current@\loc>");
     } else if(<true, rel[str, Type] tpbounds> := useBoundedTypeParameters(c)){
-        if(tpbounds[pname]?){
+        if(!isEmpty(tpbounds[pname])){
             bnds = toList(tpbounds[pname]);
             c.calculate("type parameter with bound", n, bnds, 
                 AType(Solver s){ 
+                    for(bnd <- bnds) println("<bnd>: <s.getType(bnd)>");
                     new_bnd = (avalue() | aglb(it, s.getType(bnd)) | bnd <- bnds);
                     return  aparameter(prettyPrintName(n), s.getType(new_bnd), closed=true);
                 });