Trait creusot_contracts::std::prelude::rust_2015::Send

1.0.0 · source ·
pub unsafe auto trait Send { }
Expand description

Types that can be transferred across thread boundaries.

This trait is automatically implemented when the compiler determines it’s appropriate.

An example of a non-Send type is the reference-counting pointer rc::Rc. If two threads attempt to clone Rcs that point to the same reference-counted value, they might try to update the reference count at the same time, which is undefined behavior because Rc doesn’t use atomic operations. Its cousin sync::Arc does use atomic operations (incurring some overhead) and thus is Send.

See the Nomicon and the Sync trait for more details.

Implementors§

1.26.0 · source§

impl !Send for Args

1.26.0 · source§

impl !Send for ArgsOs

source§

impl !Send for LocalWaker

1.0.0 · source§

impl !Send for Arguments<'_>

1.36.0 · source§

impl Send for Waker

1.6.0 · source§

impl Send for alloc::string::Drain<'_>

source§

impl Send for core::ffi::c_str::Bytes<'_>

1.44.0 · source§

impl<'a> Send for IoSlice<'a>

1.44.0 · source§

impl<'a> Send for IoSliceMut<'a>

source§

impl<Dyn> Send for DynMetadata<Dyn>
where Dyn: ?Sized,

1.0.0 · source§

impl<T> !Send for *const T
where T: ?Sized,

1.0.0 · source§

impl<T> !Send for *mut T
where T: ?Sized,

1.25.0 · source§

impl<T> !Send for NonNull<T>
where T: ?Sized,

NonNull pointers are not Send because the data they reference may be aliased.

source§

impl<T> !Send for MappedMutexGuard<'_, T>
where T: ?Sized,

source§

impl<T> !Send for MappedRwLockReadGuard<'_, T>
where T: ?Sized,

source§

impl<T> !Send for MappedRwLockWriteGuard<'_, T>
where T: ?Sized,

1.0.0 · source§

impl<T> !Send for MutexGuard<'_, T>
where T: ?Sized,

source§

impl<T> !Send for ReentrantLockGuard<'_, T>
where T: ?Sized,

1.0.0 · source§

impl<T> !Send for RwLockReadGuard<'_, T>
where T: ?Sized,

1.0.0 · source§

impl<T> !Send for RwLockWriteGuard<'_, T>
where T: ?Sized,

1.0.0 · source§

impl<T> Send for &T
where T: Sync + ?Sized,

source§

impl<T> Send for ThinBox<T>
where T: Send + ?Sized,

ThinBox<T> is Send if T is Send because the data is owned.

1.0.0 · source§

impl<T> Send for Cell<T>
where T: Send + ?Sized,

1.0.0 · source§

impl<T> Send for RefCell<T>
where T: Send + ?Sized,

1.0.0 · source§

impl<T> Send for creusot_contracts::std::collections::linked_list::Iter<'_, T>
where T: Sync,

1.0.0 · source§

impl<T> Send for creusot_contracts::std::collections::linked_list::IterMut<'_, T>
where T: Send,

1.28.0 · source§

impl<T> Send for NonZero<T>

1.31.0 · source§

impl<T> Send for ChunksExactMut<'_, T>
where T: Send,

1.0.0 · source§

impl<T> Send for ChunksMut<'_, T>
where T: Send,

1.0.0 · source§

impl<T> Send for creusot_contracts::std::slice::Iter<'_, T>
where T: Sync,

1.0.0 · source§

impl<T> Send for creusot_contracts::std::slice::IterMut<'_, T>
where T: Send,

1.31.0 · source§

impl<T> Send for RChunksExactMut<'_, T>
where T: Send,

1.31.0 · source§

impl<T> Send for RChunksMut<'_, T>
where T: Send,

1.0.0 · source§

impl<T> Send for AtomicPtr<T>

1.0.0 · source§

impl<T> Send for Receiver<T>
where T: Send,

1.0.0 · source§

impl<T> Send for Sender<T>
where T: Send,

1.0.0 · source§

impl<T> Send for SyncSender<T>
where T: Send,

1.0.0 · source§

impl<T> Send for Mutex<T>
where T: Send + ?Sized,

1.70.0 · source§

impl<T> Send for OnceLock<T>
where T: Send,

source§

impl<T> Send for ReentrantLock<T>
where T: Send + ?Sized,

1.0.0 · source§

impl<T> Send for RwLock<T>
where T: Send + ?Sized,

1.29.0 · source§

impl<T> Send for JoinHandle<T>

1.0.0 · source§

impl<T, A> !Send for Rc<T, A>
where A: Allocator, T: ?Sized,

1.4.0 · source§

impl<T, A> !Send for creusot_contracts::std::rc::Weak<T, A>
where A: Allocator, T: ?Sized,

source§

impl<T, A> Send for creusot_contracts::std::collections::linked_list::Cursor<'_, T, A>
where T: Sync, A: Allocator + Sync,

source§

impl<T, A> Send for creusot_contracts::std::collections::linked_list::CursorMut<'_, T, A>
where T: Send, A: Allocator + Send,

1.0.0 · source§

impl<T, A> Send for LinkedList<T, A>
where T: Send, A: Allocator + Send,

1.6.0 · source§

impl<T, A> Send for creusot_contracts::std::collections::vec_deque::Drain<'_, T, A>
where T: Send, A: Allocator + Send,

1.0.0 · source§

impl<T, A> Send for Arc<T, A>
where T: Sync + Send + ?Sized, A: Allocator + Send,

1.4.0 · source§

impl<T, A> Send for creusot_contracts::std::sync::Weak<T, A>
where T: Sync + Send + ?Sized, A: Allocator + Send,

1.6.0 · source§

impl<T, A> Send for creusot_contracts::std::vec::Drain<'_, T, A>
where T: Send, A: Send + Allocator,

1.0.0 · source§

impl<T, A> Send for creusot_contracts::std::vec::IntoIter<T, A>
where T: Send, A: Allocator + Send,

Auto implementors§

§

impl !Send for Int

§

impl !Send for Real

§

impl !Send for Vars

§

impl !Send for VarsOs

§

impl !Send for PtrDeepModel

§

impl !Send for RawWaker

§

impl Send for AsciiChar

§

impl Send for BacktraceStatus

§

impl Send for creusot_contracts::std::cmp::Ordering

§

impl Send for TryReserveErrorKind

§

impl Send for Infallible

§

impl Send for VarError

§

impl Send for c_void

§

impl Send for BasicBlock

§

impl Send for UnwindTerminateReason

§

impl Send for ErrorKind

§

impl Send for SeekFrom

§

impl Send for IpAddr

§

impl Send for Ipv6MulticastScope

§

impl Send for Shutdown

§

impl Send for creusot_contracts::std::net::SocketAddr

§

impl Send for FpCategory

§

impl Send for IntErrorKind

§

impl Send for AncillaryError

§

impl Send for BacktraceStyle

§

impl Send for SearchStep

§

impl Send for creusot_contracts::std::sync::atomic::Ordering

§

impl Send for RecvTimeoutError

§

impl Send for TryRecvError

§

impl Send for AllocError

§

impl Send for Global

§

impl Send for Layout

§

impl Send for LayoutError

§

impl Send for System

§

impl Send for TypeId

§

impl Send for CpuidResult

§

impl Send for __m128

§

impl Send for __m128bh

§

impl Send for __m128d

§

impl Send for __m128i

§

impl Send for __m256

§

impl Send for __m256bh

§

impl Send for __m256d

§

impl Send for __m256i

§

impl Send for __m512

§

impl Send for __m512bh

§

impl Send for __m512d

§

impl Send for __m512i

§

impl Send for creusot_contracts::std::ascii::EscapeDefault

§

impl Send for Backtrace

§

impl Send for BacktraceFrame

§

impl Send for BorrowError

§

impl Send for BorrowMutError

§

impl Send for CharTryFromError

§

impl Send for DecodeUtf16Error

§

impl Send for creusot_contracts::std::char::EscapeDebug

§

impl Send for creusot_contracts::std::char::EscapeDefault

§

impl Send for creusot_contracts::std::char::EscapeUnicode

§

impl Send for ParseCharError

§

impl Send for ToLowercase

§

impl Send for ToUppercase

§

impl Send for TryFromCharError

§

impl Send for UnorderedKeyError

§

impl Send for TryReserveError

§

impl Send for JoinPathsError

§

impl Send for CStr

§

impl Send for CString

§

impl Send for FromBytesUntilNulError

§

impl Send for FromBytesWithNulError

§

impl Send for FromVecWithNulError

§

impl Send for IntoStringError

§

impl Send for NulError

§

impl Send for OsStr

§

impl Send for OsString

§

impl Send for DirBuilder

§

impl Send for DirEntry

§

impl Send for File

§

impl Send for FileTimes

§

impl Send for FileType

§

impl Send for Metadata

§

impl Send for OpenOptions

§

impl Send for Permissions

§

impl Send for ReadDir

§

impl Send for DefaultHasher

§

impl Send for RandomState

§

impl Send for SipHasher

§

impl Send for ReturnToArg

§

impl Send for UnwindActionArg

§

impl Send for creusot_contracts::std::io::Empty

§

impl Send for Error

§

impl Send for creusot_contracts::std::io::Repeat

§

impl Send for Sink

§

impl Send for Stderr

§

impl Send for Stdin

§

impl Send for Stdout

§

impl Send for WriterPanicked

§

impl Send for PhantomPinned

§

impl Send for Assume

§

impl Send for AddrParseError

§

impl Send for IntoIncoming

§

impl Send for Ipv4Addr

§

impl Send for Ipv6Addr

§

impl Send for SocketAddrV4

§

impl Send for SocketAddrV6

§

impl Send for TcpListener

§

impl Send for TcpStream

§

impl Send for UdpSocket

§

impl Send for ParseFloatError

§

impl Send for ParseIntError

§

impl Send for TryFromIntError

§

impl Send for RangeFull

§

impl Send for OwnedFd

§

impl Send for PidFd

§

impl Send for stat

§

impl Send for creusot_contracts::std::os::unix::net::SocketAddr

§

impl Send for SocketCred

§

impl Send for UCred

§

impl Send for UnixDatagram

§

impl Send for UnixListener

§

impl Send for UnixStream

§

impl Send for Path

§

impl Send for PathBuf

§

impl Send for StripPrefixError

§

impl Send for PipeReader

§

impl Send for PipeWriter

§

impl Send for Child

§

impl Send for ChildStderr

§

impl Send for ChildStdin

§

impl Send for ChildStdout

§

impl Send for Command

§

impl Send for ExitCode

§

impl Send for ExitStatus

§

impl Send for ExitStatusError

§

impl Send for Output

§

impl Send for Stdio

§

impl Send for Alignment

§

impl Send for ParseBoolError

§

impl Send for Utf8Error

§

impl Send for AtomicBool

§

impl Send for AtomicI8

§

impl Send for AtomicI16

§

impl Send for AtomicI32

§

impl Send for AtomicI64

§

impl Send for AtomicIsize

§

impl Send for AtomicU8

§

impl Send for AtomicU16

§

impl Send for AtomicU32

§

impl Send for AtomicU64

§

impl Send for AtomicUsize

§

impl Send for RecvError

§

impl Send for Barrier

§

impl Send for BarrierWaitResult

§

impl Send for Condvar

§

impl Send for creusot_contracts::std::sync::Once

§

impl Send for OnceState

§

impl Send for WaitTimeoutResult

§

impl Send for RawWakerVTable

§

impl Send for AccessError

§

impl Send for Builder

§

impl Send for Thread

§

impl Send for ThreadId

§

impl Send for Duration

§

impl Send for Instant

§

impl Send for SystemTime

§

impl Send for SystemTimeError

§

impl Send for TryFromFloatSecsError

§

impl Send for String

§

impl Send for Maybe

§

impl Send for NoRuntime

§

impl Send for Runtime

§

impl<'a> !Send for Request<'a>

§

impl<'a> !Send for StderrLock<'a>

§

impl<'a> !Send for StdinLock<'a>

§

impl<'a> !Send for StdoutLock<'a>

§

impl<'a> !Send for PanicHookInfo<'a>

§

impl<'a> !Send for Context<'a>

§

impl<'a> !Send for ContextBuilder<'a>

§

impl<'a> Send for AncillaryData<'a>

§

impl<'a> Send for Component<'a>

§

impl<'a> Send for Prefix<'a>

§

impl<'a> Send for SplitPaths<'a>

§

impl<'a> Send for creusot_contracts::std::ffi::os_str::Display<'a>

§

impl<'a> Send for BorrowedCursor<'a>

§

impl<'a> Send for creusot_contracts::std::net::Incoming<'a>

§

impl<'a> Send for creusot_contracts::std::os::unix::net::Incoming<'a>

§

impl<'a> Send for Messages<'a>

§

impl<'a> Send for ScmCredentials<'a>

§

impl<'a> Send for ScmRights<'a>

§

impl<'a> Send for SocketAncillary<'a>

§

impl<'a> Send for Location<'a>

§

impl<'a> Send for Ancestors<'a>

§

impl<'a> Send for Components<'a>

§

impl<'a> Send for creusot_contracts::std::path::Display<'a>

§

impl<'a> Send for creusot_contracts::std::path::Iter<'a>

§

impl<'a> Send for PrefixComponent<'a>

§

impl<'a> Send for CommandArgs<'a>

§

impl<'a> Send for CommandEnvs<'a>

§

impl<'a> Send for EscapeAscii<'a>

§

impl<'a> Send for CharSearcher<'a>

§

impl<'a> Send for creusot_contracts::std::str::Bytes<'a>

§

impl<'a> Send for CharIndices<'a>

§

impl<'a> Send for Chars<'a>

§

impl<'a> Send for EncodeUtf16<'a>

§

impl<'a> Send for creusot_contracts::std::str::EscapeDebug<'a>

§

impl<'a> Send for creusot_contracts::std::str::EscapeDefault<'a>

§

impl<'a> Send for creusot_contracts::std::str::EscapeUnicode<'a>

§

impl<'a> Send for creusot_contracts::std::str::Lines<'a>

§

impl<'a> Send for LinesAny<'a>

§

impl<'a> Send for SplitAsciiWhitespace<'a>

§

impl<'a> Send for SplitWhitespace<'a>

§

impl<'a> Send for Utf8Chunk<'a>

§

impl<'a> Send for Utf8Chunks<'a>

§

impl<'a, 'b> Send for CharSliceSearcher<'a, 'b>

§

impl<'a, 'b> Send for StrSearcher<'a, 'b>

§

impl<'a, 'b, const N: usize> Send for CharArrayRefSearcher<'a, 'b, N>

§

impl<'a, 'f> !Send for VaList<'a, 'f>

§

impl<'a, A> !Send for creusot_contracts::std::option::Iter<'a, A>

§

impl<'a, A> !Send for creusot_contracts::std::option::IterMut<'a, A>

§

impl<'a, B> !Send for Cow<'a, B>

§

impl<'a, F> !Send for CharPredicateSearcher<'a, F>

§

impl<'a, I> !Send for ByRefSized<'a, I>

§

impl<'a, I, A = Global> !Send for Splice<'a, I, A>

§

impl<'a, K> !Send for creusot_contracts::std::collections::hash_set::Drain<'a, K>

§

impl<'a, K> !Send for creusot_contracts::std::collections::hash_set::Iter<'a, K>

§

impl<'a, K, F> !Send for creusot_contracts::std::collections::hash_set::ExtractIf<'a, K, F>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::Entry<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::btree_map::Cursor<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::btree_map::Iter<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::btree_map::IterMut<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::btree_map::Keys<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::btree_map::Range<'a, K, V>

§

impl<'a, K, V> !Send for RangeMut<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::btree_map::Values<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::btree_map::ValuesMut<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::Drain<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::Iter<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::IterMut<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::Keys<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::OccupiedEntry<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::OccupiedError<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::VacantEntry<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::Values<'a, K, V>

§

impl<'a, K, V> !Send for creusot_contracts::std::collections::hash_map::ValuesMut<'a, K, V>

§

impl<'a, K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::Entry<'a, K, V, A>

§

impl<'a, K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::CursorMut<'a, K, V, A>

§

impl<'a, K, V, A = Global> !Send for CursorMutKey<'a, K, V, A>

§

impl<'a, K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::OccupiedEntry<'a, K, V, A>

§

impl<'a, K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::OccupiedError<'a, K, V, A>

§

impl<'a, K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::VacantEntry<'a, K, V, A>

§

impl<'a, K, V, F> !Send for creusot_contracts::std::collections::hash_map::ExtractIf<'a, K, V, F>

§

impl<'a, K, V, F, A = Global> !Send for creusot_contracts::std::collections::btree_map::ExtractIf<'a, K, V, F, A>

§

impl<'a, K, V, S> !Send for RawEntryMut<'a, K, V, S>

§

impl<'a, K, V, S> !Send for RawEntryBuilder<'a, K, V, S>

§

impl<'a, K, V, S> !Send for RawEntryBuilderMut<'a, K, V, S>

§

impl<'a, K, V, S> !Send for RawOccupiedEntryMut<'a, K, V, S>

§

impl<'a, K, V, S> !Send for RawVacantEntryMut<'a, K, V, S>

§

impl<'a, P> !Send for MatchIndices<'a, P>

§

impl<'a, P> !Send for Matches<'a, P>

§

impl<'a, P> !Send for RMatchIndices<'a, P>

§

impl<'a, P> !Send for RMatches<'a, P>

§

impl<'a, P> !Send for creusot_contracts::std::str::RSplit<'a, P>

§

impl<'a, P> !Send for creusot_contracts::std::str::RSplitN<'a, P>

§

impl<'a, P> !Send for RSplitTerminator<'a, P>

§

impl<'a, P> !Send for creusot_contracts::std::str::Split<'a, P>

§

impl<'a, P> !Send for creusot_contracts::std::str::SplitInclusive<'a, P>

§

impl<'a, P> !Send for creusot_contracts::std::str::SplitN<'a, P>

§

impl<'a, P> !Send for SplitTerminator<'a, P>

§

impl<'a, T> !Send for creusot_contracts::std::collections::binary_heap::Iter<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::btree_set::Iter<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::btree_set::Range<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::btree_set::SymmetricDifference<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::btree_set::Union<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::linked_list::Iter<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::linked_list::IterMut<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::vec_deque::Iter<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::collections::vec_deque::IterMut<'a, T>

§

impl<'a, T> !Send for Chunks<'a, T>

§

impl<'a, T> !Send for ChunksExact<'a, T>

§

impl<'a, T> !Send for ChunksExactMut<'a, T>

§

impl<'a, T> !Send for ChunksMut<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::slice::Iter<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::slice::IterMut<'a, T>

§

impl<'a, T> !Send for RChunks<'a, T>

§

impl<'a, T> !Send for RChunksExact<'a, T>

§

impl<'a, T> !Send for RChunksExactMut<'a, T>

§

impl<'a, T> !Send for RChunksMut<'a, T>

§

impl<'a, T> !Send for Windows<'a, T>

§

impl<'a, T> !Send for creusot_contracts::std::sync::mpsc::Iter<'a, T>

§

impl<'a, T> !Send for TryIter<'a, T>

§

impl<'a, T, A = Global> !Send for creusot_contracts::std::collections::binary_heap::Drain<'a, T, A>

§

impl<'a, T, A = Global> !Send for DrainSorted<'a, T, A>

§

impl<'a, T, A = Global> !Send for PeekMut<'a, T, A>

§

impl<'a, T, A = Global> !Send for creusot_contracts::std::collections::btree_set::Difference<'a, T, A>

§

impl<'a, T, A = Global> !Send for creusot_contracts::std::collections::btree_set::Intersection<'a, T, A>

§

impl<'a, T, A = Global> !Send for creusot_contracts::std::collections::linked_list::Cursor<'a, T, A>

§

impl<'a, T, A = Global> !Send for creusot_contracts::std::collections::linked_list::CursorMut<'a, T, A>

§

impl<'a, T, A = Global> !Send for creusot_contracts::std::collections::vec_deque::Drain<'a, T, A>

§

impl<'a, T, A = Global> !Send for creusot_contracts::std::vec::Drain<'a, T, A>

§

impl<'a, T, F, A = Global> !Send for creusot_contracts::std::collections::btree_set::ExtractIf<'a, T, F, A>

§

impl<'a, T, F, A = Global> !Send for creusot_contracts::std::collections::linked_list::ExtractIf<'a, T, F, A>

§

impl<'a, T, F, A = Global> !Send for creusot_contracts::std::vec::ExtractIf<'a, T, F, A>

§

impl<'a, T, P> !Send for ChunkBy<'a, T, P>

§

impl<'a, T, P> !Send for ChunkByMut<'a, T, P>

§

impl<'a, T, P> !Send for creusot_contracts::std::slice::RSplit<'a, T, P>

§

impl<'a, T, P> !Send for RSplitMut<'a, T, P>

§

impl<'a, T, P> !Send for creusot_contracts::std::slice::RSplitN<'a, T, P>

§

impl<'a, T, P> !Send for RSplitNMut<'a, T, P>

§

impl<'a, T, P> !Send for creusot_contracts::std::slice::Split<'a, T, P>

§

impl<'a, T, P> !Send for creusot_contracts::std::slice::SplitInclusive<'a, T, P>

§

impl<'a, T, P> !Send for SplitInclusiveMut<'a, T, P>

§

impl<'a, T, P> !Send for SplitMut<'a, T, P>

§

impl<'a, T, P> !Send for creusot_contracts::std::slice::SplitN<'a, T, P>

§

impl<'a, T, P> !Send for SplitNMut<'a, T, P>

§

impl<'a, T, S> !Send for creusot_contracts::std::collections::hash_set::Difference<'a, T, S>

§

impl<'a, T, S> !Send for creusot_contracts::std::collections::hash_set::Intersection<'a, T, S>

§

impl<'a, T, S> !Send for creusot_contracts::std::collections::hash_set::SymmetricDifference<'a, T, S>

§

impl<'a, T, S> !Send for creusot_contracts::std::collections::hash_set::Union<'a, T, S>

§

impl<'a, T, const N: usize> !Send for creusot_contracts::std::slice::ArrayChunks<'a, T, N>

§

impl<'a, T, const N: usize> !Send for ArrayChunksMut<'a, T, N>

§

impl<'a, T, const N: usize> !Send for ArrayWindows<'a, T, N>

§

impl<'a, const N: usize> Send for CharArraySearcher<'a, N>

§

impl<'b, T> !Send for Ref<'b, T>

§

impl<'b, T> !Send for RefMut<'b, T>

§

impl<'data> Send for BorrowedBuf<'data>

§

impl<'f> !Send for VaListImpl<'f>

§

impl<'fd> Send for BorrowedFd<'fd>

§

impl<'scope, 'env> Send for Scope<'scope, 'env>

§

impl<'scope, T> !Send for ScopedJoinHandle<'scope, T>

§

impl<A> !Send for creusot_contracts::std::iter::Repeat<A>

§

impl<A> !Send for RepeatN<A>

§

impl<A> !Send for creusot_contracts::std::option::IntoIter<A>

§

impl<A, B> !Send for Mapping<A, B>

§

impl<A, B> !Send for creusot_contracts::std::iter::Chain<A, B>

§

impl<A, B> !Send for Zip<A, B>

§

impl<B> !Send for creusot_contracts::std::io::Lines<B>

§

impl<B> !Send for creusot_contracts::std::io::Split<B>

§

impl<B, C = ()> !Send for ControlFlow<B, C>

§

impl<E = Box<dyn Error>> !Send for Report<E>

§

impl<F> !Send for PollFn<F>

§

impl<F> !Send for FromFn<F>

§

impl<F> !Send for OnceWith<F>

§

impl<F> !Send for RepeatWith<F>

§

impl<H> Send for BuildHasherDefault<H>

§

impl<I> !Send for FromIter<I>

§

impl<I> !Send for DecodeUtf16<I>

§

impl<I> !Send for Cloned<I>

§

impl<I> !Send for Copied<I>

§

impl<I> !Send for Cycle<I>

§

impl<I> !Send for Enumerate<I>

§

impl<I> !Send for Flatten<I>

§

impl<I> !Send for Fuse<I>

§

impl<I> !Send for Intersperse<I>

§

impl<I> !Send for Peekable<I>

§

impl<I> !Send for Skip<I>

§

impl<I> !Send for StepBy<I>

§

impl<I> !Send for creusot_contracts::std::iter::Take<I>

§

impl<I, B, F> !Send for MapInv<I, B, F>

§

impl<I, F> !Send for FilterMap<I, F>

§

impl<I, F> !Send for Inspect<I, F>

§

impl<I, F> !Send for Map<I, F>

§

impl<I, F, const N: usize> !Send for MapWindows<I, F, N>

§

impl<I, G> !Send for IntersperseWith<I, G>

§

impl<I, P> !Send for Filter<I, P>

§

impl<I, P> !Send for MapWhile<I, P>

§

impl<I, P> !Send for SkipWhile<I, P>

§

impl<I, P> !Send for TakeWhile<I, P>

§

impl<I, St, F> !Send for Scan<I, St, F>

§

impl<I, U, F> !Send for FlatMap<I, U, F>

§

impl<I, const N: usize> !Send for creusot_contracts::std::iter::ArrayChunks<I, N>

§

impl<Idx> !Send for creusot_contracts::std::ops::Range<Idx>

§

impl<Idx> !Send for RangeFrom<Idx>

§

impl<Idx> !Send for RangeInclusive<Idx>

§

impl<Idx> !Send for RangeTo<Idx>

§

impl<Idx> !Send for RangeToInclusive<Idx>

§

impl<K> !Send for creusot_contracts::std::collections::hash_set::IntoIter<K>

§

impl<K, V> !Send for FMap<K, V>

§

impl<K, V> !Send for creusot_contracts::std::collections::hash_map::IntoIter<K, V>

§

impl<K, V> !Send for creusot_contracts::std::collections::hash_map::IntoKeys<K, V>

§

impl<K, V> !Send for creusot_contracts::std::collections::hash_map::IntoValues<K, V>

§

impl<K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::IntoIter<K, V, A>

§

impl<K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::IntoKeys<K, V, A>

§

impl<K, V, A = Global> !Send for creusot_contracts::std::collections::btree_map::IntoValues<K, V, A>

§

impl<K, V, A = Global> !Send for BTreeMap<K, V, A>

§

impl<K, V, S = RandomState> !Send for HashMap<K, V, S>

§

impl<Ptr> !Send for Pin<Ptr>

§

impl<R> !Send for BufReader<R>

§

impl<R> !Send for creusot_contracts::std::io::Bytes<R>

§

impl<T> !Send for Bound<T>

§

impl<T> !Send for TryLockError<T>

§

impl<T> !Send for TrySendError<T>

§

impl<T> !Send for Poll<T>

§

impl<T> !Send for Option<T>

§

impl<T> !Send for GhostBox<T>

§

impl<T> !Send for FSet<T>

§

impl<T> !Send for Seq<T>

§

impl<T> !Send for Set<T>

§

impl<T> !Send for PtrOwn<T>

§

impl<T> !Send for Snapshot<T>

§

impl<T> !Send for ThinBox<T>

§

impl<T> !Send for Cell<T>

§

impl<T> !Send for OnceCell<T>

§

impl<T> !Send for RefCell<T>

§

impl<T> !Send for SyncUnsafeCell<T>

§

impl<T> !Send for UnsafeCell<T>

§

impl<T> !Send for Reverse<T>

§

impl<T> !Send for AsyncDropInPlace<T>

§

impl<T> !Send for Ready<T>

§

impl<T> !Send for creusot_contracts::std::io::Cursor<T>

§

impl<T> !Send for creusot_contracts::std::io::Take<T>

§

impl<T> !Send for creusot_contracts::std::iter::Once<T>

§

impl<T> !Send for Rev<T>

§

impl<T> !Send for PhantomData<T>

§

impl<T> !Send for ManuallyDrop<T>

§

impl<T> !Send for NonZero<T>

§

impl<T> !Send for Saturating<T>

§

impl<T> !Send for Wrapping<T>

§

impl<T> !Send for Yeet<T>

§

impl<T> !Send for AssertUnwindSafe<T>

§

impl<T> !Send for creusot_contracts::std::sync::mpsc::IntoIter<T>

§

impl<T> !Send for Receiver<T>

§

impl<T> !Send for SendError<T>

§

impl<T> !Send for Sender<T>

§

impl<T> !Send for SyncSender<T>

§

impl<T> !Send for Exclusive<T>

§

impl<T> !Send for Mutex<T>

§

impl<T> !Send for OnceLock<T>

§

impl<T> !Send for PoisonError<T>

§

impl<T> !Send for ReentrantLock<T>

§

impl<T> !Send for RwLock<T>

§

impl<T> !Send for MaybeUninit<T>

§

impl<T> !Send for Storage<T>

§

impl<T> Send for Pending<T>

§

impl<T> Send for creusot_contracts::std::iter::Empty<T>

§

impl<T> Send for Discriminant<T>

§

impl<T> Send for LocalKey<T>

§

impl<T, A = Global> !Send for creusot_contracts::std::collections::binary_heap::IntoIter<T, A>

§

impl<T, A = Global> !Send for IntoIterSorted<T, A>

§

impl<T, A = Global> !Send for creusot_contracts::std::collections::btree_set::IntoIter<T, A>

§

impl<T, A = Global> !Send for creusot_contracts::std::collections::linked_list::IntoIter<T, A>

§

impl<T, A = Global> !Send for BTreeSet<T, A>

§

impl<T, A = Global> !Send for BinaryHeap<T, A>

§

impl<T, A = Global> !Send for LinkedList<T, A>

§

impl<T, A = Global> !Send for VecDeque<T, A>

§

impl<T, A = Global> !Send for creusot_contracts::std::collections::vec_deque::IntoIter<T, A>

§

impl<T, A = Global> !Send for UniqueRc<T, A>

§

impl<T, A = Global> !Send for Arc<T, A>

§

impl<T, A = Global> !Send for creusot_contracts::std::sync::Weak<T, A>

§

impl<T, A = Global> !Send for creusot_contracts::std::vec::IntoIter<T, A>

§

impl<T, A = Global> !Send for Box<T, A>

§

impl<T, A = Global> !Send for Vec<T, A>

§

impl<T, D> !Send for Storage<T, D>

§

impl<T, E> !Send for Result<T, E>

§

impl<T, F = fn() -> T> !Send for LazyCell<T, F>

§

impl<T, F = fn() -> T> !Send for LazyLock<T, F>

§

impl<T, F> !Send for Successors<T, F>

§

impl<T, S = RandomState> !Send for HashSet<T, S>

§

impl<T, U> !Send for creusot_contracts::std::io::Chain<T, U>

§

impl<T, const N: usize> !Send for Mask<T, N>

§

impl<T, const N: usize> !Send for Simd<T, N>

§

impl<W> !Send for BufWriter<W>

§

impl<W> !Send for IntoInnerError<W>

§

impl<W> !Send for LineWriter<W>

§

impl<Y, R> !Send for CoroutineState<Y, R>

§

impl<const N: usize> Send for LaneCount<N>