Trait creusot_contracts::std::panic::RefUnwindSafe

pub auto trait RefUnwindSafe { }

A marker trait representing types where a shared reference is considered unwind safe.

This trait is namely not implemented by UnsafeCell, the root of all interior mutability.

This is a “helper marker trait” used to provide impl blocks for the UnwindSafe trait, for more information see that documentation.

Implementors

impl RefUnwindSafe for Stderr

impl RefUnwindSafe for StderrLock<'_>

impl RefUnwindSafe for Stdout

impl RefUnwindSafe for StdoutLock<'_>

impl RefUnwindSafe for AtomicBool

impl RefUnwindSafe for AtomicI8

impl RefUnwindSafe for AtomicI16

impl RefUnwindSafe for AtomicI32

impl RefUnwindSafe for AtomicI64

impl RefUnwindSafe for AtomicIsize

impl RefUnwindSafe for AtomicU8

impl RefUnwindSafe for AtomicU16

impl RefUnwindSafe for AtomicU32

impl RefUnwindSafe for AtomicU64

impl RefUnwindSafe for AtomicUsize

impl RefUnwindSafe for Condvar

impl RefUnwindSafe for creusot_contracts::std::sync::Once

impl<T> !RefUnwindSafe for UnsafeCell<T>

where T: ?Sized,

impl<T> RefUnwindSafe for NonZero<T>

where T: ZeroablePrimitive + RefUnwindSafe,

impl<T> RefUnwindSafe for AtomicPtr<T>

impl<T> RefUnwindSafe for Mutex<T>

where T: ?Sized,

impl<T> RefUnwindSafe for OnceLock<T>

where T: RefUnwindSafe + UnwindSafe,

impl<T> RefUnwindSafe for ReentrantLock<T>

where T: RefUnwindSafe + ?Sized,

impl<T> RefUnwindSafe for RwLock<T>

where T: ?Sized,

impl<T> RefUnwindSafe for AssertUnwindSafe<T>

impl<T, A> RefUnwindSafe for Rc<T, A>

where T: RefUnwindSafe + ?Sized, A: Allocator + UnwindSafe,

impl<T, F> RefUnwindSafe for LazyLock<T, F>

where T: RefUnwindSafe + UnwindSafe, F: UnwindSafe,

Auto implementors

impl !RefUnwindSafe for Error

impl !RefUnwindSafe for Command

impl !RefUnwindSafe for OnceState

impl RefUnwindSafe for AsciiChar

impl RefUnwindSafe for BacktraceStatus

impl RefUnwindSafe for creusot_contracts::std::cmp::Ordering

impl RefUnwindSafe for TryReserveErrorKind

impl RefUnwindSafe for Infallible

impl RefUnwindSafe for VarError

impl RefUnwindSafe for c_void

impl RefUnwindSafe for BasicBlock

impl RefUnwindSafe for UnwindTerminateReason

impl RefUnwindSafe for ErrorKind

impl RefUnwindSafe for SeekFrom

impl RefUnwindSafe for IpAddr

impl RefUnwindSafe for Ipv6MulticastScope

impl RefUnwindSafe for Shutdown

impl RefUnwindSafe for creusot_contracts::std::net::SocketAddr

impl RefUnwindSafe for FpCategory

impl RefUnwindSafe for IntErrorKind

impl RefUnwindSafe for AncillaryError

impl RefUnwindSafe for SearchStep

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

impl RefUnwindSafe for RecvTimeoutError

impl RefUnwindSafe for TryRecvError

impl RefUnwindSafe for BacktraceStyle

impl RefUnwindSafe for Int

impl RefUnwindSafe for Real

impl RefUnwindSafe for AllocError

impl RefUnwindSafe for Global

impl RefUnwindSafe for Layout

impl RefUnwindSafe for LayoutError

impl RefUnwindSafe for System

impl RefUnwindSafe for TypeId

impl RefUnwindSafe for CpuidResult

impl RefUnwindSafe for __m128

impl RefUnwindSafe for __m128bh

impl RefUnwindSafe for __m128d

impl RefUnwindSafe for __m128i

impl RefUnwindSafe for __m256

impl RefUnwindSafe for __m256bh

impl RefUnwindSafe for __m256d

impl RefUnwindSafe for __m256i

impl RefUnwindSafe for __m512

impl RefUnwindSafe for __m512bh

impl RefUnwindSafe for __m512d

impl RefUnwindSafe for __m512i

impl RefUnwindSafe for creusot_contracts::std::ascii::EscapeDefault

impl RefUnwindSafe for Backtrace

impl RefUnwindSafe for BacktraceFrame

impl RefUnwindSafe for BorrowError

impl RefUnwindSafe for BorrowMutError

impl RefUnwindSafe for CharTryFromError

impl RefUnwindSafe for DecodeUtf16Error

impl RefUnwindSafe for creusot_contracts::std::char::EscapeDebug

impl RefUnwindSafe for creusot_contracts::std::char::EscapeDefault

impl RefUnwindSafe for creusot_contracts::std::char::EscapeUnicode

impl RefUnwindSafe for ParseCharError

impl RefUnwindSafe for ToLowercase

impl RefUnwindSafe for ToUppercase

impl RefUnwindSafe for TryFromCharError

impl RefUnwindSafe for UnorderedKeyError

impl RefUnwindSafe for TryReserveError

impl RefUnwindSafe for Args

impl RefUnwindSafe for ArgsOs

impl RefUnwindSafe for JoinPathsError

impl RefUnwindSafe for Vars

impl RefUnwindSafe for VarsOs

impl RefUnwindSafe for CStr

impl RefUnwindSafe for CString

impl RefUnwindSafe for FromBytesUntilNulError

impl RefUnwindSafe for FromBytesWithNulError

impl RefUnwindSafe for FromVecWithNulError

impl RefUnwindSafe for IntoStringError

impl RefUnwindSafe for NulError

impl RefUnwindSafe for OsStr

impl RefUnwindSafe for OsString

impl RefUnwindSafe for DirBuilder

impl RefUnwindSafe for DirEntry

impl RefUnwindSafe for File

impl RefUnwindSafe for FileTimes

impl RefUnwindSafe for FileType

impl RefUnwindSafe for Metadata

impl RefUnwindSafe for OpenOptions

impl RefUnwindSafe for Permissions

impl RefUnwindSafe for ReadDir

impl RefUnwindSafe for DefaultHasher

impl RefUnwindSafe for RandomState

impl RefUnwindSafe for SipHasher

impl RefUnwindSafe for ReturnToArg

impl RefUnwindSafe for UnwindActionArg

impl RefUnwindSafe for creusot_contracts::std::io::Empty

impl RefUnwindSafe for creusot_contracts::std::io::Repeat

impl RefUnwindSafe for Sink

impl RefUnwindSafe for Stdin

impl RefUnwindSafe for WriterPanicked

impl RefUnwindSafe for PhantomPinned

impl RefUnwindSafe for Assume

impl RefUnwindSafe for AddrParseError

impl RefUnwindSafe for IntoIncoming

impl RefUnwindSafe for Ipv4Addr

impl RefUnwindSafe for Ipv6Addr

impl RefUnwindSafe for SocketAddrV4

impl RefUnwindSafe for SocketAddrV6

impl RefUnwindSafe for TcpListener

impl RefUnwindSafe for TcpStream

impl RefUnwindSafe for UdpSocket

impl RefUnwindSafe for ParseFloatError

impl RefUnwindSafe for ParseIntError

impl RefUnwindSafe for TryFromIntError

impl RefUnwindSafe for RangeFull

impl RefUnwindSafe for OwnedFd

impl RefUnwindSafe for PidFd

impl RefUnwindSafe for stat

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

impl RefUnwindSafe for SocketCred

impl RefUnwindSafe for UCred

impl RefUnwindSafe for UnixDatagram

impl RefUnwindSafe for UnixListener

impl RefUnwindSafe for UnixStream

impl RefUnwindSafe for Path

impl RefUnwindSafe for PathBuf

impl RefUnwindSafe for StripPrefixError

impl RefUnwindSafe for PipeReader

impl RefUnwindSafe for PipeWriter

impl RefUnwindSafe for String

impl RefUnwindSafe for Child

impl RefUnwindSafe for ChildStderr

impl RefUnwindSafe for ChildStdin

impl RefUnwindSafe for ChildStdout

impl RefUnwindSafe for ExitCode

impl RefUnwindSafe for ExitStatus

impl RefUnwindSafe for ExitStatusError

impl RefUnwindSafe for Output

impl RefUnwindSafe for Stdio

impl RefUnwindSafe for Alignment

impl RefUnwindSafe for PtrDeepModel

impl RefUnwindSafe for ParseBoolError

impl RefUnwindSafe for Utf8Error

impl RefUnwindSafe for RecvError

impl RefUnwindSafe for Barrier

impl RefUnwindSafe for BarrierWaitResult

impl RefUnwindSafe for WaitTimeoutResult

impl RefUnwindSafe for LocalWaker

impl RefUnwindSafe for RawWaker

impl RefUnwindSafe for RawWakerVTable

impl RefUnwindSafe for Waker

impl RefUnwindSafe for AccessError

impl RefUnwindSafe for Builder

impl RefUnwindSafe for Thread

impl RefUnwindSafe for ThreadId

impl RefUnwindSafe for Duration

impl RefUnwindSafe for Instant

impl RefUnwindSafe for SystemTime

impl RefUnwindSafe for SystemTimeError

impl RefUnwindSafe for TryFromFloatSecsError

impl RefUnwindSafe for Maybe

impl RefUnwindSafe for NoRuntime

impl RefUnwindSafe for Runtime

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

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

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

impl<'a> RefUnwindSafe for AncillaryData<'a>

impl<'a> RefUnwindSafe for Component<'a>

impl<'a> RefUnwindSafe for Prefix<'a>

impl<'a> RefUnwindSafe for SplitPaths<'a>

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

impl<'a> RefUnwindSafe for BorrowedCursor<'a>

impl<'a> RefUnwindSafe for IoSlice<'a>

impl<'a> RefUnwindSafe for IoSliceMut<'a>

impl<'a> RefUnwindSafe for StdinLock<'a>

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

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

impl<'a> RefUnwindSafe for Messages<'a>

impl<'a> RefUnwindSafe for ScmCredentials<'a>

impl<'a> RefUnwindSafe for ScmRights<'a>

impl<'a> RefUnwindSafe for SocketAncillary<'a>

impl<'a> RefUnwindSafe for Ancestors<'a>

impl<'a> RefUnwindSafe for Components<'a>

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

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

impl<'a> RefUnwindSafe for PrefixComponent<'a>

impl<'a> RefUnwindSafe for CommandArgs<'a>

impl<'a> RefUnwindSafe for CommandEnvs<'a>

impl<'a> RefUnwindSafe for EscapeAscii<'a>

impl<'a> RefUnwindSafe for CharSearcher<'a>

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

impl<'a> RefUnwindSafe for CharIndices<'a>

impl<'a> RefUnwindSafe for Chars<'a>

impl<'a> RefUnwindSafe for EncodeUtf16<'a>

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

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

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

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

impl<'a> RefUnwindSafe for LinesAny<'a>

impl<'a> RefUnwindSafe for SplitAsciiWhitespace<'a>

impl<'a> RefUnwindSafe for SplitWhitespace<'a>

impl<'a> RefUnwindSafe for Utf8Chunk<'a>

impl<'a> RefUnwindSafe for Utf8Chunks<'a>

impl<'a> RefUnwindSafe for Context<'a>

impl<'a> RefUnwindSafe for Location<'a>

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

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

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

impl<'a, 'f> RefUnwindSafe for VaList<'a, 'f>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'a, T> !RefUnwindSafe for MappedMutexGuard<'a, T>

impl<'a, T> !RefUnwindSafe for MappedRwLockReadGuard<'a, T>

impl<'a, T> !RefUnwindSafe for MappedRwLockWriteGuard<'a, T>

impl<'a, T> !RefUnwindSafe for ReentrantLockGuard<'a, T>

impl<'a, T> !RefUnwindSafe for RwLockReadGuard<'a, T>

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

impl<'a, T> RefUnwindSafe for TryIter<'a, T>

impl<'a, T> RefUnwindSafe for MutexGuard<'a, T>

where T: ?Sized,

impl<'a, T> RefUnwindSafe for RwLockWriteGuard<'a, T>

where T: ?Sized,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'data> RefUnwindSafe for BorrowedBuf<'data>

impl<'f> RefUnwindSafe for VaListImpl<'f>

impl<'fd> RefUnwindSafe for BorrowedFd<'fd>

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

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

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

impl<A> !RefUnwindSafe for RepeatN<A>

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

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

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

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

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

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

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

impl<Dyn> !RefUnwindSafe for DynMetadata<Dyn>

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

impl<F> !RefUnwindSafe for PollFn<F>

impl<F> !RefUnwindSafe for FromFn<F>

impl<F> !RefUnwindSafe for OnceWith<F>

impl<F> !RefUnwindSafe for RepeatWith<F>

impl<H> RefUnwindSafe for BuildHasherDefault<H>

impl<I> !RefUnwindSafe for FromIter<I>

impl<I> !RefUnwindSafe for DecodeUtf16<I>

impl<I> !RefUnwindSafe for Cloned<I>

impl<I> !RefUnwindSafe for Copied<I>

impl<I> !RefUnwindSafe for Cycle<I>

impl<I> !RefUnwindSafe for Enumerate<I>

impl<I> !RefUnwindSafe for Flatten<I>

impl<I> !RefUnwindSafe for Fuse<I>

impl<I> !RefUnwindSafe for Intersperse<I>

impl<I> !RefUnwindSafe for Peekable<I>

impl<I> !RefUnwindSafe for Skip<I>

impl<I> !RefUnwindSafe for StepBy<I>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<Idx> !RefUnwindSafe for RangeFrom<Idx>

impl<Idx> !RefUnwindSafe for RangeInclusive<Idx>

impl<Idx> !RefUnwindSafe for RangeTo<Idx>

impl<Idx> !RefUnwindSafe for RangeToInclusive<Idx>

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

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

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

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

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

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

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

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

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

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

impl<Ptr> !RefUnwindSafe for Pin<Ptr>

impl<R> !RefUnwindSafe for BufReader<R>

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

impl<T> !RefUnwindSafe for Bound<T>

impl<T> !RefUnwindSafe for Option<T>

impl<T> !RefUnwindSafe for TryLockError<T>

impl<T> !RefUnwindSafe for TrySendError<T>

impl<T> !RefUnwindSafe for Poll<T>

impl<T> !RefUnwindSafe for GhostBox<T>

impl<T> !RefUnwindSafe for FSet<T>

impl<T> !RefUnwindSafe for Seq<T>

impl<T> !RefUnwindSafe for Set<T>

impl<T> !RefUnwindSafe for PtrOwn<T>

impl<T> !RefUnwindSafe for Snapshot<T>

impl<T> !RefUnwindSafe for ThinBox<T>

impl<T> !RefUnwindSafe for Cell<T>

impl<T> !RefUnwindSafe for OnceCell<T>

impl<T> !RefUnwindSafe for RefCell<T>

impl<T> !RefUnwindSafe for SyncUnsafeCell<T>

impl<T> !RefUnwindSafe for Reverse<T>

impl<T> !RefUnwindSafe for AsyncDropInPlace<T>

impl<T> !RefUnwindSafe for Ready<T>

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

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

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

impl<T> !RefUnwindSafe for Rev<T>

impl<T> !RefUnwindSafe for PhantomData<T>

impl<T> !RefUnwindSafe for Discriminant<T>

impl<T> !RefUnwindSafe for ManuallyDrop<T>

impl<T> !RefUnwindSafe for NonZero<T>

impl<T> !RefUnwindSafe for Saturating<T>

impl<T> !RefUnwindSafe for Wrapping<T>

impl<T> !RefUnwindSafe for Yeet<T>

impl<T> !RefUnwindSafe for NonNull<T>

impl<T> !RefUnwindSafe for SendError<T>

impl<T> !RefUnwindSafe for Exclusive<T>

impl<T> !RefUnwindSafe for OnceLock<T>

impl<T> !RefUnwindSafe for PoisonError<T>

impl<T> !RefUnwindSafe for ReentrantLock<T>

impl<T> !RefUnwindSafe for JoinHandle<T>

impl<T> !RefUnwindSafe for MaybeUninit<T>

impl<T> !RefUnwindSafe for Storage<T>

impl<T> RefUnwindSafe for Pending<T>

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

impl<T> RefUnwindSafe for creusot_contracts::std::sync::mpsc::IntoIter<T>

impl<T> RefUnwindSafe for Receiver<T>

impl<T> RefUnwindSafe for Sender<T>

impl<T> RefUnwindSafe for SyncSender<T>

impl<T> RefUnwindSafe for LocalKey<T>

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

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

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

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

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

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

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

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

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

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

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

impl<T, A = Global> !RefUnwindSafe for Rc<T, A>

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

impl<T, A = Global> !RefUnwindSafe for creusot_contracts::std::rc::Weak<T, A>

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

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

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

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

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

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

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

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

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

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

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

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

impl<W> !RefUnwindSafe for BufWriter<W>

impl<W> !RefUnwindSafe for IntoInnerError<W>

impl<W> !RefUnwindSafe for LineWriter<W>

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

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