From 59f04ae470bd9847977cbdddf194af75ffe4f6aa Mon Sep 17 00:00:00 2001
From: romintomasetti <romin.tomasetti@gmail.com>
Date: Fri, 20 Feb 2026 13:23:55 +0000
Subject: [PATCH] tests(stdexec): fix and test demangling utility

Signed-off-by: romintomasetti <romin.tomasetti@gmail.com>
---
 test/CMakeLists.txt                   |  1 +
 test/stdexec/detail/test_demangle.cpp | 23 +++++++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 test/stdexec/detail/test_demangle.cpp

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index cc23ea401..1c0e03880 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -63,6 +63,7 @@ set(stdexec_test_sources
     stdexec/algos/consumers/test_spawn.cpp
     stdexec/detail/test_any.cpp
     stdexec/detail/test_completion_signatures.cpp
+    stdexec/detail/test_demangle.cpp
     stdexec/detail/test_utility.cpp
     stdexec/schedulers/test_task_scheduler.cpp
     stdexec/schedulers/test_parallel_scheduler.cpp
diff --git a/test/stdexec/detail/test_demangle.cpp b/test/stdexec/detail/test_demangle.cpp
new file mode 100644
index 000000000..2166a4f83
--- /dev/null
+++ b/test/stdexec/detail/test_demangle.cpp
@@ -0,0 +1,23 @@
+#include <catch2/catch.hpp>
+#include <stdexec/execution.hpp>
+
+#include <test_common/receivers.hpp>
+
+namespace
+{
+  TEST_CASE("demangling a type", "[detail][demangle]")
+  {
+    struct Dummy
+    {
+      void operator()(int const) const {}
+    };
+    auto sndr = STDEXEC::just(42) | STDEXEC::then(Dummy{});
+
+    static_assert(
+      std::same_as<STDEXEC::__demangle_t<decltype(sndr)>,
+                   STDEXEC::__basic_sender<
+                     STDEXEC::then_t,
+                     Dummy,
+                     STDEXEC::__basic_sender<STDEXEC::just_t, STDEXEC::__tuple<int>>::type>::type>);
+  }
+}  // namespace