update to new Node::parent() signature

CMakeLists.txt

@@ -93,7 +93,7 @@ FetchContent_Declare(
 FetchContent_Declare(
   trieste
   GIT_REPOSITORY https://github.com/microsoft/trieste
-  GIT_TAG        d51038b8392220637ce912e12fffc2c86715e54b
+  GIT_TAG        7ddc75733bc74ee43b98d4999fe15045f4115f69
 )
 
 FetchContent_MakeAvailable(cmake_utils)

src/internal.cc

@@ -88,7 +88,7 @@ namespace rego
       return false;
     }
 
-    return is_in(node->parent()->intrusive_ptr_from_this(), types);
+    return is_in(node->parent(), types);
   }
 
   bool is_constant(const Node& term)

src/reader.cc

@@ -665,17 +665,17 @@ namespace
       }};
 
     pass.pre(Comma, [comma_groups](Node node) {
-      comma_groups->insert(node->parent());
+      comma_groups->insert(node->parent_unsafe());
       return 0;
     });
 
     pass.pre(Colon, [colon_groups](Node node) {
-      colon_groups->insert(node->parent());
+      colon_groups->insert(node->parent_unsafe());
       return 0;
     });
 
     pass.pre(Or, [or_groups](Node node) {
-      auto group = node->parent();
+      auto group = node->parent_unsafe();
       auto pos = group->find(node);
       for (auto it = group->begin(); it != pos; ++it)
       {

src/unifier.cc

@@ -411,8 +411,7 @@ namespace rego
         "Recursion detected in rule body: " + std::string(m_rule.view()));
     }
 
-    logging::Debug() << "=====Unification====="
-                     << "exprs: " << m_statements;
+    logging::Debug() << "=====Unification=====" << "exprs: " << m_statements;
 
     {
       logging::LocalIndent indent;

src/unify.cc

@@ -67,7 +67,7 @@ namespace rego
       return name.find("query$") != std::string::npos;
     }
 
-    return in_query(node->parent()->intrusive_ptr_from_this());
+    return in_query(node->parent());
   }
 
   bool contains_local(const Node& node)

src/unify/absolute_refs.cc

@@ -21,7 +21,7 @@ namespace
       return Ref << (RefHead << (Var ^ "data")) << refargseq;
     }
 
-    Node ref = build_ref(leaf->parent()->intrusive_ptr_from_this());
+    Node ref = build_ref(leaf->parent());
 
     if (leaf->type() == Policy || leaf->type() == DataModule)
     {

src/unify/enumerate.cc

@@ -31,7 +31,7 @@ namespace
     find_all_refs_in(local->scope(), (local / Var)->location(), refs);
     for (auto& ref : refs)
     {
-      if (ref->parent() == local.get())
+      if (ref->parent() == local)
       {
         continue;
       }
@@ -61,7 +61,7 @@ namespace
 
   Node next_enum(Node local)
   {
-    Node unifybody = local->parent()->intrusive_ptr_from_this();
+    Node unifybody = local->parent();
     auto it = unifybody->find(local) + 1;
     return find_enum(unifybody, it);
   }
@@ -302,21 +302,21 @@ namespace rego
       if (is_in(local, {LiteralEnum}))
       {
         // should this local be defined here?
-        Node unifybody = local->parent()->intrusive_ptr_from_this();
+        Node unifybody = local->parent();
         bool requires_move = false;
         while (!should_be_defined_in(local, unifybody))
         {
           // we need to keep popping out of nested enums until we find the
           // correct scope
           requires_move = true;
-          NodeDef* literalenum = unifybody->parent();
+          Node literalenum = unifybody->parent();
           if (literalenum->type() != LiteralEnum)
           {
             // we've popped out of the nested enums
             break;
           }
 
-          unifybody = literalenum->parent()->intrusive_ptr_from_this();
+          unifybody = literalenum->parent();
         }
 
         if (requires_move)

src/unify/lift_to_rule.cc

@@ -136,7 +136,7 @@ namespace
     }
   }
 
-  Node get_version(NodeDef* node)
+  Node get_version(Node node)
   {
     if (node == Top)
     {
@@ -151,7 +151,7 @@ namespace
         return (*it)->clone();
       }
 
-      return err(node->intrusive_ptr_from_this(), "Missing version");
+      return err(node, "Missing version");
     }
 
     return get_version(node->parent());

src/unify/symbols.cc

@@ -39,8 +39,7 @@ namespace
     auto it = module->find_first(Version, module->begin());
     if (it == module->end())
     {
-      return err(
-        module->intrusive_ptr_from_this(), "No version found in module");
+      return err(module, "No version found in module");
     }
     return (*it)->clone();
   }