Add bags inference generator (#5731)

This PR adds inference generator for basic bag rules.

1 files changed, 7 insertions, 2 deletions

diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp
index 49fbe73ef..3c038546a 100644
--- a/src/expr/type_node.cpp
+++ b/src/expr/type_node.cpp
@@ -151,12 +151,12 @@ bool TypeNode::isFiniteInternal(bool usortFinite)
       TypeNode tnc = getArrayConstituentType();
       if (!tnc.isFiniteInternal(usortFinite))
       {
-        // arrays with consistuent type that is infinite are infinite
+        // arrays with constituent type that is infinite are infinite
         ret = false;
       }
       else if (getArrayIndexType().isFiniteInternal(usortFinite))
       {
-        // arrays with both finite consistuent and index types are finite
+        // arrays with both finite constituent and index types are finite
         ret = true;
       }
       else
@@ -170,6 +170,11 @@ bool TypeNode::isFiniteInternal(bool usortFinite)
     {
       ret = getSetElementType().isFiniteInternal(usortFinite);
     }
+    else if (isBag())
+    {
+      // there are infinite bags for all element types
+      ret = false;
+    }
     else if (isFunction())
     {
       ret = true;