AK: Make TypeBoundsChecker<UnsignedIntegralT, FloatingPointT> work

By replacing MakeUnsigned<Source> in this specific specialization with a
simple negativity check this now works for floating point source types.
Previously it would attempt a comparison of the destination type and
void.

1 files changed, 1 insertions, 1 deletions

diff --git a/AK/Checked.h b/AK/Checked.h
index fcdb50cec6..bac072dfbe 100644
--- a/AK/Checked.h
+++ b/AK/Checked.h
@@ -58,7 +58,7 @@ template<typename Destination, typename Source>
 struct TypeBoundsChecker<Destination, Source, false, false, true> {
     static constexpr bool is_within_range(Source value)
     {
-        return static_cast<MakeUnsigned<Source>>(value) <= NumericLimits<Destination>::max();
+        return value >= 0 && value <= NumericLimits<Destination>::max();
     }
 };