Fix-up merge

Author: tautschnig

library/core/src/num/f128.rs

@@ -16,8 +16,6 @@ use safety::requires;
 use crate::convert::FloatToInt;
 #[cfg(kani)]
 use crate::kani;
-use crate::num::FpCategory;
-use crate::panic::const_assert;
 #[allow(unused_imports)]
 use crate::ub_checks::float_to_int_in_range;
 use crate::num::FpCategory;

library/core/src/num/f16.rs

@@ -16,8 +16,6 @@ use safety::requires;
 use crate::convert::FloatToInt;
 #[cfg(kani)]
 use crate::kani;
-use crate::num::FpCategory;
-use crate::panic::const_assert;
 #[allow(unused_imports)]
 use crate::ub_checks::float_to_int_in_range;
 use crate::num::FpCategory;

library/core/src/num/f32.rs

@@ -16,8 +16,6 @@ use safety::requires;
 use crate::convert::FloatToInt;
 #[cfg(kani)]
 use crate::kani;
-use crate::num::FpCategory;
-use crate::panic::const_assert;
 #[allow(unused_imports)]
 use crate::ub_checks::float_to_int_in_range;
 use crate::num::FpCategory;

library/core/src/num/f64.rs

@@ -16,8 +16,6 @@ use safety::requires;
 use crate::convert::FloatToInt;
 #[cfg(kani)]
 use crate::kani;
-use crate::num::FpCategory;
-use crate::panic::const_assert;
 #[allow(unused_imports)]
 use crate::ub_checks::float_to_int_in_range;
 use crate::num::FpCategory;