Add typeid check

ad-freiburg · Feb 18, 2025 · aa82823 · aa82823
1 parent dc5d2c4
commit aa82823
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/engine/Operation.cpp b/src/engine/Operation.cpp
@@ -629,6 +629,11 @@ uint64_t Operation::getSizeEstimate() {
 // _____________________________________________________________________________
 std::unique_ptr<Operation> Operation::clone() const {
   auto result = cloneImpl();
+  auto compareTypes = [this, &result]() {
+    const auto& reference = *result;
+    return typeid(*this) == typeid(reference);
+  };
+  AD_CORRECTNESS_CHECK(compareTypes());
   AD_CORRECTNESS_CHECK(result->_executionContext == _executionContext);
   auto areChildrenDifferent = [this, &result]() {
     auto ownChildren = getChildren();