LWG4382 The simd::basic_mask(bool) overload needs to be more constrained

Author: eisenwave

source/numerics.tex

@@ -20031,13 +20031,16 @@
     constexpr basic_mask() noexcept = default;
 
     // \ref{simd.mask.ctor}, \tcode{basic_mask} constructors
-    constexpr explicit basic_mask(value_type) noexcept;
+    constexpr explicit basic_mask(@\libconcept{same_as}@<value_type> auto) noexcept;
     template<size_t UBytes, class UAbi>
       constexpr explicit basic_mask(const basic_mask<UBytes, UAbi>&) noexcept;
     template<class G>
       constexpr explicit basic_mask(G&& gen);
-    constexpr basic_mask(const bitset<size()>& b) noexcept;
-    constexpr explicit basic_mask(@\libconcept{unsigned_integral}@ auto val) noexcept;
+    template<@\libconcept{same_as}@<bitset<size()>> T>
+      constexpr basic_mask(const T& b) noexcept;
+    template<@\libconcept{unsigned_integral}@ T>
+      requires (!@\libconcept{same_as}@<T, value_type>)
+      constexpr explicit basic_mask(T val) noexcept;
 
     // \ref{simd.mask.subscr}, \tcode{basic_mask} subscript operators
     constexpr value_type operator[](@\exposid{simd-size-type}@) const;
@@ -20141,7 +20144,7 @@
 
 \indexlibraryctor{basic_mask}
 \begin{itemdecl}
-constexpr explicit basic_mask(value_type x) noexcept;
+constexpr explicit basic_mask(@\libconcept{same_as}@<value_type> auto) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -20193,7 +20196,8 @@
 
 \indexlibraryctor{basic_mask}
 \begin{itemdecl}
-constexpr basic_mask(const bitset<size()>& b) noexcept;
+template<@\libconcept{same_as}@<bitset<size()>> T>
+  constexpr basic_mask(const T& b) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -20205,7 +20209,9 @@
 
 \indexlibraryctor{basic_mask}
 \begin{itemdecl}
-constexpr explicit basic_mask(@\libconcept{unsigned_integral}@ auto val) noexcept;
+template<@\libconcept{unsigned_integral}@ T>
+  requires (!@\libconcept{same_as}@<T, value_type>)
+  constexpr explicit basic_mask(T val) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}