test: Enhance numeric risk tests to support underlying and proxy representation bridges

Signed-off-by: FrozenlemonTee <1115306170@qq.com>

Author: FrozenLemonTee

tests/basic/conversion/traits/test_numeric_risk.cpp

@@ -4,8 +4,12 @@
 
 import mcpplibs.primitives.conversion.traits;
 import mcpplibs.primitives.conversion.underlying;
+import mcpplibs.primitives.underlying;
+
+#include "../../support/conversion_box_types.hpp"
 
 using namespace mcpplibs::primitives;
+using namespace mcpplibs::primitives::test_support::conversion;
 
 TEST(ConversionRiskTest, NumericRiskDetectsOverflowAndUnderflow) {
   auto const overflow = conversion::numeric_risk<std::uint16_t>(70000);
@@ -28,3 +32,26 @@ TEST(ConversionRiskTest, NumericRiskDetectsDomainAndPrecisionLoss) {
   ASSERT_TRUE(precision.has_value());
   EXPECT_EQ(*precision, conversion::risk::kind::precision_loss);
 }
+
+TEST(ConversionRiskTest, NumericRiskSupportsUnderlyingRepBridge) {
+  auto const underflow = conversion::numeric_risk<UnsignedBox>(SignedBox{-1});
+  ASSERT_TRUE(underflow.has_value());
+  EXPECT_EQ(*underflow, conversion::risk::kind::underflow);
+
+  auto const domain = conversion::numeric_risk<SignedBox>(
+      FloatBox{std::numeric_limits<double>::quiet_NaN()});
+  ASSERT_TRUE(domain.has_value());
+  EXPECT_EQ(*domain, conversion::risk::kind::domain_error);
+}
+
+TEST(ConversionRiskTest, NumericRiskSupportsBuiltinProxyRepBridge) {
+  auto const underflow =
+      conversion::numeric_risk<UnsignedBox>(BridgedIntBox{IntBridgeRep{-1}});
+  ASSERT_TRUE(underflow.has_value());
+  EXPECT_EQ(*underflow, conversion::risk::kind::underflow);
+
+  auto const domain = conversion::numeric_risk<BridgedIntBox>(
+      BridgedFloatBox{FloatBridgeRep{std::numeric_limits<double>::quiet_NaN()}});
+  ASSERT_TRUE(domain.has_value());
+  EXPECT_EQ(*domain, conversion::risk::kind::domain_error);
+}