Reformat use declarations. · model-checking/verify-rust-std@d1d4fb3 (original) (raw)

`@@ -187,26 +187,26 @@

`

187

187

``

188

188

`use core::any::Any;

`

189

189

`use core::async_iter::AsyncIterator;

`

190

``

`-

use core::borrow;

`

191

190

`#[cfg(not(no_global_oom_handling))]

`

192

191

`use core::clone::CloneToUninit;

`

193

192

`use core::cmp::Ordering;

`

194

193

`use core::error::Error;

`

195

``

`-

use core::fmt;

`

196

194

`use core::future::Future;

`

197

195

`use core::hash::{Hash, Hasher};

`

198

196

`use core::iter::FusedIterator;

`

199

``

`-

use core:📑:Tuple;

`

200

``

`-

use core:📑:Unsize;

`

``

197

`+

use core:📑:{Tuple, Unsize};

`

201

198

`use core::mem::{self, SizedTypeProperties};

`

202

``

`-

use core::ops::{AsyncFn, AsyncFnMut, AsyncFnOnce};

`

203

199

`use core::ops::{

`

204

``

`-

CoerceUnsized, Coroutine, CoroutineState, Deref, DerefMut, DerefPure, DispatchFromDyn, Receiver,

`

``

200

`+

AsyncFn, AsyncFnMut, AsyncFnOnce, CoerceUnsized, Coroutine, CoroutineState, Deref, DerefMut,

`

``

201

`+

DerefPure, DispatchFromDyn, Receiver,

`

205

202

`};

`

206

203

`use core::pin::Pin;

`

207

204

`use core::ptr::{self, addr_of_mut, NonNull, Unique};

`

208

``

`-

use core::slice;

`

209

205

`use core::task::{Context, Poll};

`

``

206

`+

use core::{borrow, fmt, slice};

`

``

207

+

``

208

`+

#[unstable(feature = "thin_box", issue = "92791")]

`

``

209

`+

pub use thin::ThinBox;

`

210

210

``

211

211

`#[cfg(not(no_global_oom_handling))]

`

212

212

`use crate::alloc::handle_alloc_error;

`

`@@ -222,9 +222,6 @@ use crate::vec;

`

222

222

`#[cfg(not(no_global_oom_handling))]

`

223

223

`use crate::vec::Vec;

`

224

224

``

225

``

`-

#[unstable(feature = "thin_box", issue = "92791")]

`

226

``

`-

pub use thin::ThinBox;

`

227

``

-

228

225

`mod thin;

`

229

226

``

230

227

`` /// A pointer type that uniquely owns a heap allocation of type T.

``