From fe70244f22ad59fa34f08235240ae9c55a6dce1e Mon Sep 17 00:00:00 2001
From: Stanislaw Halik <sthalik@misaki.pl>
Date: Tue, 16 Jan 2024 01:49:43 +0100
Subject: w

---
 serialize/packbits-write.cpp | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'serialize/packbits-write.cpp')

diff --git a/serialize/packbits-write.cpp b/serialize/packbits-write.cpp
index 85130c12..416ee718 100644
--- a/serialize/packbits-write.cpp
+++ b/serialize/packbits-write.cpp
@@ -16,8 +16,12 @@ static_assert(count_bits<u8, std::tuple<>> == 0);
 template u32 write_(const std::tuple<f32<1>>&, output<u32, 32>, output_bits<32>, std::index_sequence<0>);
 static_assert(write_(std::tuple<output_field<u32, 13>>{4242}, output<u32, 32>{0}, output_bits<32>{}, std::index_sequence<0>{}) == 4242);
 
-static_assert(output<u32, 32>::next<1>::Capacity == 31);
-static_assert(output<u32, 32>::next<1>::next<2>::Capacity == 29);
+static_assert(write_(
+    std::tuple{f8<3>{7}, f8<2>{3}, f8<1>{1}},
+    output<u8, 6>{0},
+    output_bits<8>{},
+    std::make_index_sequence<3>{}
+) == (1 << 6) - 1);
 
 #if 0
 static_assert(write_(output<u32, 32>{0},
-- 
cgit v1.2.3