clang demands more strictness on compile time exps

Author: ZiaCheemaGit

cpp/include/coconext/types/signed.hpp

@@ -111,7 +111,7 @@ class Signed : public SignedTag {
 
     template <Range R2>
     explicit(size() < R2.length()) constexpr Signed(Signed<R2> const& other) {
-        if constexpr (size() >= other.size()) {
+        if constexpr (R.length() >= R2.length()) {
             value_ = resize<size()>(other).value_;
         } else {
             value_ = resize<size()>(other).value_;
@@ -413,10 +413,10 @@ class Signed : public SignedTag {
             }
             safe_shift = static_cast<size_t>(shift_amount);
         } else if constexpr (detail::is_coconext_unsigned<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             safe_shift = static_cast<size_t>(static_cast<unsigned long long>(shift_amount));
         } else if constexpr (detail::is_coconext_signed<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             long long signed_val = static_cast<long long>(shift_amount);
             if (signed_val < 0) {
                 if consteval {
@@ -459,10 +459,10 @@ class Signed : public SignedTag {
             }
             safe_shift = static_cast<size_t>(shift_amount);
         } else if constexpr (detail::is_coconext_unsigned<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             safe_shift = static_cast<size_t>(static_cast<unsigned long long>(shift_amount));
         } else if constexpr (detail::is_coconext_signed<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             long long signed_val = static_cast<long long>(shift_amount);
             if (signed_val < 0) {
                 if consteval {
@@ -539,7 +539,7 @@ class Signed : public SignedTag {
 
     template <Range R2>
     constexpr auto operator%(Signed<R2> const& rhs) const {
-        constexpr size_t W_calc = std::max(size(), rhs.size());
+        constexpr size_t W_calc = std::max(R.length(), R2.length());
         if (!static_cast<bool>(rhs)) {
             throw std::domain_error("Division by zero");
         }

cpp/include/coconext/types/unsigned.hpp

@@ -95,7 +95,7 @@ class Unsigned : public UnsignedTag {
     // Cross-width conversion. Throws if the source value doesn't fit in N bits.
     template <Range R2>
     explicit(size() < R2.length()) constexpr Unsigned(Unsigned<R2> const& other) {
-        if constexpr (size() >= other.size()) {
+        if constexpr (R.length() >= R2.length()) {
             value_ = other.value_;
         } else {
             if constexpr (!detail::Bits<size()>::is_not_native_int) {
@@ -384,10 +384,10 @@ class Unsigned : public UnsignedTag {
             }
             safe_shift = static_cast<size_t>(shift_amount);
         } else if constexpr (detail::is_coconext_unsigned<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             safe_shift = static_cast<size_t>(static_cast<unsigned long long>(shift_amount));
         } else if constexpr (detail::is_coconext_signed<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             long long signed_val = static_cast<long long>(shift_amount);
             if (signed_val < 0) {
                 if consteval {
@@ -432,10 +432,10 @@ class Unsigned : public UnsignedTag {
             }
             safe_shift = static_cast<size_t>(shift_amount);
         } else if constexpr (detail::is_coconext_unsigned<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             safe_shift = static_cast<size_t>(static_cast<unsigned long long>(shift_amount));
         } else if constexpr (detail::is_coconext_signed<CleanType>::value) {
-            static_assert(shift_amount.size() < 64, "Bit Width cap 2**64");
+            static_assert(CleanType::size() < 64, "Bit Width cap 2**64");
             long long signed_val = static_cast<long long>(shift_amount);
             if (signed_val < 0) {
                 if consteval {
@@ -527,7 +527,7 @@ class Unsigned : public UnsignedTag {
 
     template <Range R2>
     constexpr auto operator%(Unsigned<R2> const& rhs) const {
-        constexpr size_t W_calc = std::max(size(), rhs.size());
+        constexpr size_t W_calc = std::max(R.length(), R2.length());
 
         if (!static_cast<bool>(rhs)) {
             if consteval {