Skip to content

Commit e2c02cf

Browse files
committed
Fix format
1 parent c2f3b8b commit e2c02cf

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

library/core/src/iter/range.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,15 @@
1+
use safety::requires;
2+
13
use super::{
24
FusedIterator, TrustedLen, TrustedRandomAccess, TrustedRandomAccessNoCoerce, TrustedStep,
35
};
46
use crate::ascii::Char as AsciiChar;
7+
#[cfg(kani)]
8+
use crate::kani;
59
use crate::mem;
610
use crate::net::{Ipv4Addr, Ipv6Addr};
711
use crate::num::NonZero;
812
use crate::ops::{self, Try};
9-
#[cfg(kani)]
10-
use crate::kani;
11-
use safety::requires;
1213

1314
// Safety: All invariants are upheld.
1415
macro_rules! unsafe_impl_trusted_step {

0 commit comments

Comments
 (0)