Update library/core/src/ub_checks.rs

Co-authored-by: Celina G. Val <[email protected]>
carolynzech · Oct 24, 2024 · 693495a · 693495a
1 parent c698f1c
commit 693495a
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/library/core/src/ub_checks.rs b/library/core/src/ub_checks.rs
@@ -260,9 +260,6 @@ trivial_invariant!(());
 trivial_invariant!(bool);
 trivial_invariant!(char);
 
-// We do not constrain the safety invariant for floating point types.
-// Users can create a newtype wrapping the floating point type and define an
-// invariant that checks for NaN, infinite, or subnormal values.
 trivial_invariant!(f16);
 trivial_invariant!(f32);
 trivial_invariant!(f64);