Update single header

tcbrindle · Feb 3, 2024 · 22d87d8 · 22d87d8
1 parent 5900bb8
commit 22d87d8
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/single_include/flux.hpp b/single_include/flux.hpp
@@ -5128,8 +5128,10 @@ struct cartesian_traits_base_impl {
         requires (CartesianKind == cartesian_kind::product
                   && (sized_sequence<Bases> && ...))
     {
-        return std::apply([](auto&... base) {
-            return (flux::size(base) * ...);
+        return std::apply([](auto& base0, auto&... bases) {
+            distance_t sz = flux::size(base0);
+            ((sz = num::checked_mul(sz, flux::size(bases))), ...);
+            return sz;
         }, self.bases_);
     }