Add more constraints to in<T> typedef

Author: KredeGC

include/bitstream/traits/bool_trait.h

@@ -15,7 +15,7 @@ namespace bitstream
 	{
 		template<typename Stream>
 		typename utility::is_writing_t<Stream>
-		static serialize(Stream& writer, bool value) noexcept
+		static serialize(Stream& writer, in<bool> value) noexcept
 		{
 			uint32_t unsigned_value = value;
 

include/bitstream/traits/integral_traits.h

@@ -2,6 +2,7 @@
 #include "../utility/assert.h"
 #include "../utility/bits.h"
 #include "../utility/meta.h"
+#include "../utility/parameter.h"
 
 #include "../stream/serialize_traits.h"
 
@@ -38,7 +39,7 @@ namespace bitstream
 		*/
 		template<typename Stream>
 		typename utility::is_writing_t<Stream>
-		static serialize(Stream& writer, T value, T min = (std::numeric_limits<T>::min)(), T max = (std::numeric_limits<T>::max)()) noexcept
+		static serialize(Stream& writer, in<T> value, T min = (std::numeric_limits<T>::min)(), T max = (std::numeric_limits<T>::max)()) noexcept
 		{
 			BS_ASSERT(min < max);
 
@@ -143,7 +144,7 @@ namespace bitstream
 		*/
 		template<typename Stream>
 		typename utility::is_writing_t<Stream>
-		static serialize(Stream& writer, T value) noexcept
+		static serialize(Stream& writer, in<T> value) noexcept
 		{
 			static_assert(Min < Max);
 

include/bitstream/utility/parameter.h

@@ -91,7 +91,7 @@ namespace bitstream
 	 * @brief Passes by const or const reference depending on size
 	*/
 	template<typename T>
-	using in = std::conditional_t<(sizeof(T) <= 16), std::add_const_t<T>, std::add_lvalue_reference_t<std::add_const_t<T>>>;
+	using in = std::conditional_t<(sizeof(T) <= 16 && std::is_trivially_copy_constructible_v<T>), std::add_const_t<T>, std::add_lvalue_reference_t<std::add_const_t<T>>>;
 
 	/**
 	 * @brief Passes by reference