From 5d808dd4c4003968bbdf180e1e1193231db5d43b Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Sat, 3 Oct 2026 10:08:05 +0200
Subject: Strip outmost constness on infered arguments

---
 boot/symbol.cc | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'boot/symbol.cc')

diff --git a/boot/symbol.cc b/boot/symbol.cc
index 2293275..e247bdb 100644
--- a/boot/symbol.cc
+++ b/boot/symbol.cc
@@ -572,6 +572,17 @@ namespace elna::boot
         }
     }
 
+    type unqualify(const type& subject)
+    {
+        type current = subject;
+
+        while (const auto constant = resolve_aliases(current).get<constant_type>())
+        {
+            current = constant->unqualified;
+        }
+        return current;
+    }
+
     type unwrap_aliases(const type& checked)
     {
         if (const auto alias = checked.get<alias_type>())
-- 
cgit v1.2.3