From 1e6df841a5ae11613d26e729597ad90a39ddef1f Mon Sep 17 00:00:00 2001
From: Pavel Solodovnikov <pa.solodovnikov@scylladb.com>
Date: Wed, 9 Dec 2020 17:51:34 +0300
Subject: [PATCH] idl: add unit-test for `const` specifiers feature

Signed-off-by: Pavel Solodovnikov <pa.solodovnikov@scylladb.com>
---
 idl/idl_test.idl.hh    |  9 +++++++++
 test/boost/idl_test.cc | 39 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 48 insertions(+)

diff --git a/idl/idl_test.idl.hh b/idl/idl_test.idl.hh
index aa1053413c..a67e86cfa0 100644
--- a/idl/idl_test.idl.hh
+++ b/idl/idl_test.idl.hh
@@ -86,3 +86,12 @@ struct empty_final_struct final { };
 struct just_a_variant stub [[writable]] {
     std::variant<writable_simple_compound, simple_compound> variant;
 };
+
+template <typename T>
+struct const_template_arg_wrapper {
+    T x;
+}
+
+struct const_template_arg_test_object {
+    std::vector<const_template_arg_wrapper<const simple_compound>> first;
+};
diff --git a/test/boost/idl_test.cc b/test/boost/idl_test.cc
index a8eae97c5d..68271d4065 100644
--- a/test/boost/idl_test.cc
+++ b/test/boost/idl_test.cc
@@ -145,6 +145,27 @@ public:
     }
 };
 
+template <typename T>
+struct const_template_arg_wrapper {
+    T x;
+
+    const_template_arg_wrapper(const T& t)
+        : x(t)
+    {}
+
+    bool operator == (const const_template_arg_wrapper& rhs) const {
+        return x == rhs.x;
+    }
+};
+
+struct const_template_arg_test_object {
+    std::vector<const_template_arg_wrapper<const simple_compound>> first;
+
+    bool operator == (const const_template_arg_test_object& rhs) const {
+        return first == rhs.first;
+    }
+};
+
 #include "serialization_visitors.hh"
 #include "idl/idl_test.dist.hh"
 #include "serializer_impl.hh"
@@ -445,3 +466,21 @@ BOOST_AUTO_TEST_CASE(test_fragmented_write)
         BOOST_CHECK_EQUAL(deserialized, fragment_generator(fragment_count, fragment_size).to_bytes());
     }
 }
+
+BOOST_AUTO_TEST_CASE(test_const_template_arg)
+{
+    const_template_arg_test_object obj {
+        .first = {
+            simple_compound{ 0xdeadbeef, 0xbadc0ffe },
+            simple_compound{ 0xbaaaaaad, 0xdeadc0de }
+        }
+    };
+
+    bytes_ostream buf;
+    ser::serialize(buf, obj);
+    BOOST_REQUIRE_EQUAL(buf.size(), 40);
+
+    auto in = ser::as_input_stream(buf);
+    auto deser_obj = ser::deserialize(in, boost::type<const_template_arg_test_object>());
+    BOOST_REQUIRE(obj == deser_obj);
+}