File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -16,10 +16,10 @@ use safety::requires;
1616use crate :: convert:: FloatToInt ;
1717#[ cfg( kani) ]
1818use crate :: kani;
19- #[ allow( unused_imports) ]
20- use crate :: ub_checks:: float_to_int_in_range;
2119use crate :: num:: FpCategory ;
2220use crate :: panic:: const_assert;
21+ #[ allow( unused_imports) ]
22+ use crate :: ub_checks:: float_to_int_in_range;
2323use crate :: { intrinsics, mem} ;
2424
2525/// Basic mathematical constants.
Original file line number Diff line number Diff line change @@ -16,10 +16,10 @@ use safety::requires;
1616use crate :: convert:: FloatToInt ;
1717#[ cfg( kani) ]
1818use crate :: kani;
19- #[ allow( unused_imports) ]
20- use crate :: ub_checks:: float_to_int_in_range;
2119use crate :: num:: FpCategory ;
2220use crate :: panic:: const_assert;
21+ #[ allow( unused_imports) ]
22+ use crate :: ub_checks:: float_to_int_in_range;
2323use crate :: { intrinsics, mem} ;
2424
2525/// Basic mathematical constants.
Original file line number Diff line number Diff line change @@ -16,10 +16,10 @@ use safety::requires;
1616use crate :: convert:: FloatToInt ;
1717#[ cfg( kani) ]
1818use crate :: kani;
19- #[ allow( unused_imports) ]
20- use crate :: ub_checks:: float_to_int_in_range;
2119use crate :: num:: FpCategory ;
2220use crate :: panic:: const_assert;
21+ #[ allow( unused_imports) ]
22+ use crate :: ub_checks:: float_to_int_in_range;
2323use crate :: { intrinsics, mem} ;
2424
2525/// The radix or base of the internal representation of `f32`.
Original file line number Diff line number Diff line change @@ -16,10 +16,10 @@ use safety::requires;
1616use crate :: convert:: FloatToInt ;
1717#[ cfg( kani) ]
1818use crate :: kani;
19- #[ allow( unused_imports) ]
20- use crate :: ub_checks:: float_to_int_in_range;
2119use crate :: num:: FpCategory ;
2220use crate :: panic:: const_assert;
21+ #[ allow( unused_imports) ]
22+ use crate :: ub_checks:: float_to_int_in_range;
2323use crate :: { intrinsics, mem} ;
2424
2525/// The radix or base of the internal representation of `f64`.
You can’t perform that action at this time.
0 commit comments