From 0abb54eb19edca97fce5c3931984adcd5463bfec Mon Sep 17 00:00:00 2001
From: "Claudius \"keldu\" Holeksa" <mail@keldu.de>
Date: Fri, 21 Aug 2026 15:17:03 +0200
Subject: Dangling

---
 modules/core/c++/abstract/alloc.hpp  | 2 +-
 modules/core/c++/abstract/common.hpp | 1 -
 modules/core/c++/abstract/data.hpp   | 7 +++++--
 3 files changed, 6 insertions(+), 4 deletions(-)

(limited to 'modules')

diff --git a/modules/core/c++/abstract/alloc.hpp b/modules/core/c++/abstract/alloc.hpp
index b15e737..5872c10 100644
--- a/modules/core/c++/abstract/alloc.hpp
+++ b/modules/core/c++/abstract/alloc.hpp
@@ -2,7 +2,7 @@
 
 namespace kel {
 namespace lbm {
-namespace all {
+namespace rep {
 struct Native {};
 }
 }
diff --git a/modules/core/c++/abstract/common.hpp b/modules/core/c++/abstract/common.hpp
index 408946c..1b4e150 100644
--- a/modules/core/c++/abstract/common.hpp
+++ b/modules/core/c++/abstract/common.hpp
@@ -150,5 +150,4 @@ template <> struct void_unfix<void_t> { typedef void Type; };
 template <typename T> using unfix_void = typename void_unfix<T>::Type;
 
 template <typename... T> constexpr bool always_false = false;
-
 } // namespace saw
diff --git a/modules/core/c++/abstract/data.hpp b/modules/core/c++/abstract/data.hpp
index 327fb63..bef9a73 100644
--- a/modules/core/c++/abstract/data.hpp
+++ b/modules/core/c++/abstract/data.hpp
@@ -2,11 +2,14 @@
 
 #include "schema.hpp"
 #include "encode.hpp"
+#include "common.hpp"
 
 namespace kel {
 namespace lbm {
-template<typename Schema, typename Encode = enc::Native>
-class data final {};
+template<typename Schema, typename Encode = rep::Native>
+class data final {
+	static_assert(always_false<Schema,Encode>, "Invalid schema + encode in data specialization");
+};
 
 template<typename T, uint64_t N>
 class data<sch::Primitive<T,N>,Encode> final {
-- 
cgit v1.2.3