Trait creusot_contracts::std::marker::Freeze

pub unsafe auto trait Freeze { }

🔬This is a nightly-only experimental API. (freeze)

Used to determine whether a type contains any UnsafeCell internally, but not through an indirection. This affects, for example, whether a static of that type is placed in read-only static memory or writable static memory. This can be used to declare that a constant with a generic type will not contain interior mutability, and subsequently allow placing the constant behind references.

Safety

This trait is a core part of the language, it is just expressed as a trait in libcore for convenience. Do not implement it for other types.

Implementors

impl<T> !Freeze for UnsafeCell<T>

where T: ?Sized,

impl<T> Freeze for *const T

where T: ?Sized,

impl<T> Freeze for *mut T

where T: ?Sized,

impl<T> Freeze for &T

where T: ?Sized,

impl<T> Freeze for &mut T

where T: ?Sized,

impl<T> Freeze for NonZero<T>

where T: ZeroablePrimitive + Freeze,

impl<T> Freeze for PhantomData<T>

where T: ?Sized,

Auto implementors

impl !Freeze for Backtrace

impl !Freeze for AtomicBool

impl !Freeze for AtomicI8

impl !Freeze for AtomicI16

impl !Freeze for AtomicI32

impl !Freeze for AtomicI64

impl !Freeze for AtomicIsize

impl !Freeze for AtomicU8

impl !Freeze for AtomicU16

impl !Freeze for AtomicU32

impl !Freeze for AtomicU64

impl !Freeze for AtomicUsize

impl !Freeze for Barrier

impl !Freeze for Condvar

impl !Freeze for creusot_contracts::std::sync::Once

impl !Freeze for OnceState

impl Freeze for AsciiChar

impl Freeze for BacktraceStatus

impl Freeze for creusot_contracts::std::cmp::Ordering

impl Freeze for TryReserveErrorKind

impl Freeze for Infallible

impl Freeze for VarError

impl Freeze for c_void

impl Freeze for BasicBlock

impl Freeze for UnwindTerminateReason

impl Freeze for ErrorKind

impl Freeze for SeekFrom

impl Freeze for IpAddr

impl Freeze for Ipv6MulticastScope

impl Freeze for Shutdown

impl Freeze for creusot_contracts::std::net::SocketAddr

impl Freeze for FpCategory

impl Freeze for IntErrorKind

impl Freeze for AncillaryError

impl Freeze for BacktraceStyle

impl Freeze for SearchStep

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

impl Freeze for RecvTimeoutError

impl Freeze for TryRecvError

impl Freeze for Int

impl Freeze for Real

impl Freeze for AllocError

impl Freeze for Global

impl Freeze for Layout

impl Freeze for LayoutError

impl Freeze for System

impl Freeze for TypeId

impl Freeze for CpuidResult

impl Freeze for __m128

impl Freeze for __m128bh

impl Freeze for __m128d

impl Freeze for __m128i

impl Freeze for __m256

impl Freeze for __m256bh

impl Freeze for __m256d

impl Freeze for __m256i

impl Freeze for __m512

impl Freeze for __m512bh

impl Freeze for __m512d

impl Freeze for __m512i

impl Freeze for creusot_contracts::std::ascii::EscapeDefault

impl Freeze for BacktraceFrame

impl Freeze for BorrowError

impl Freeze for BorrowMutError

impl Freeze for CharTryFromError

impl Freeze for DecodeUtf16Error

impl Freeze for creusot_contracts::std::char::EscapeDebug

impl Freeze for creusot_contracts::std::char::EscapeDefault

impl Freeze for creusot_contracts::std::char::EscapeUnicode

impl Freeze for ParseCharError

impl Freeze for ToLowercase

impl Freeze for ToUppercase

impl Freeze for TryFromCharError

impl Freeze for UnorderedKeyError

impl Freeze for TryReserveError

impl Freeze for Args

impl Freeze for ArgsOs

impl Freeze for JoinPathsError

impl Freeze for Vars

impl Freeze for VarsOs

impl Freeze for CStr

impl Freeze for CString

impl Freeze for FromBytesUntilNulError

impl Freeze for FromBytesWithNulError

impl Freeze for FromVecWithNulError

impl Freeze for IntoStringError

impl Freeze for NulError

impl Freeze for OsStr

impl Freeze for OsString

impl Freeze for DirBuilder

impl Freeze for DirEntry

impl Freeze for File

impl Freeze for FileTimes

impl Freeze for FileType

impl Freeze for Metadata

impl Freeze for OpenOptions

impl Freeze for Permissions

impl Freeze for ReadDir

impl Freeze for DefaultHasher

impl Freeze for RandomState

impl Freeze for SipHasher

impl Freeze for ReturnToArg

impl Freeze for UnwindActionArg

impl Freeze for creusot_contracts::std::io::Empty

impl Freeze for Error

impl Freeze for creusot_contracts::std::io::Repeat

impl Freeze for Sink

impl Freeze for Stderr

impl Freeze for Stdin

impl Freeze for Stdout

impl Freeze for WriterPanicked

impl Freeze for Assume

impl Freeze for AddrParseError

impl Freeze for IntoIncoming

impl Freeze for Ipv4Addr

impl Freeze for Ipv6Addr

impl Freeze for SocketAddrV4

impl Freeze for SocketAddrV6

impl Freeze for TcpListener

impl Freeze for TcpStream

impl Freeze for UdpSocket

impl Freeze for ParseFloatError

impl Freeze for ParseIntError

impl Freeze for TryFromIntError

impl Freeze for RangeFull

impl Freeze for OwnedFd

impl Freeze for PidFd

impl Freeze for stat

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

impl Freeze for SocketCred

impl Freeze for UCred

impl Freeze for UnixDatagram

impl Freeze for UnixListener

impl Freeze for UnixStream

impl Freeze for Path

impl Freeze for PathBuf

impl Freeze for StripPrefixError

impl Freeze for PipeReader

impl Freeze for PipeWriter

impl Freeze for String

impl Freeze for Child

impl Freeze for ChildStderr

impl Freeze for ChildStdin

impl Freeze for ChildStdout

impl Freeze for Command

impl Freeze for ExitCode

impl Freeze for ExitStatus

impl Freeze for ExitStatusError

impl Freeze for Output

impl Freeze for Stdio

impl Freeze for Alignment

impl Freeze for PtrDeepModel

impl Freeze for ParseBoolError

impl Freeze for Utf8Error

impl Freeze for RecvError

impl Freeze for BarrierWaitResult

impl Freeze for WaitTimeoutResult

impl Freeze for LocalWaker

impl Freeze for RawWaker

impl Freeze for RawWakerVTable

impl Freeze for Waker

impl Freeze for AccessError

impl Freeze for Builder

impl Freeze for Thread

impl Freeze for ThreadId

impl Freeze for Duration

impl Freeze for Instant

impl Freeze for SystemTime

impl Freeze for SystemTimeError

impl Freeze for TryFromFloatSecsError

impl Freeze for PhantomPinned

impl Freeze for Maybe

impl Freeze for NoRuntime

impl Freeze for Runtime

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

impl<'a> Freeze for AncillaryData<'a>

impl<'a> Freeze for Component<'a>

impl<'a> Freeze for Prefix<'a>

impl<'a> Freeze for SplitPaths<'a>

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

impl<'a> Freeze for BorrowedCursor<'a>

impl<'a> Freeze for IoSlice<'a>

impl<'a> Freeze for IoSliceMut<'a>

impl<'a> Freeze for StderrLock<'a>

impl<'a> Freeze for StdinLock<'a>

impl<'a> Freeze for StdoutLock<'a>

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

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

impl<'a> Freeze for Messages<'a>

impl<'a> Freeze for ScmCredentials<'a>

impl<'a> Freeze for ScmRights<'a>

impl<'a> Freeze for SocketAncillary<'a>

impl<'a> Freeze for Location<'a>

impl<'a> Freeze for PanicHookInfo<'a>

impl<'a> Freeze for Ancestors<'a>

impl<'a> Freeze for Components<'a>

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

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

impl<'a> Freeze for PrefixComponent<'a>

impl<'a> Freeze for CommandArgs<'a>

impl<'a> Freeze for CommandEnvs<'a>

impl<'a> Freeze for EscapeAscii<'a>

impl<'a> Freeze for CharSearcher<'a>

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

impl<'a> Freeze for CharIndices<'a>

impl<'a> Freeze for Chars<'a>

impl<'a> Freeze for EncodeUtf16<'a>

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

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

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

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

impl<'a> Freeze for LinesAny<'a>

impl<'a> Freeze for SplitAsciiWhitespace<'a>

impl<'a> Freeze for SplitWhitespace<'a>

impl<'a> Freeze for Utf8Chunk<'a>

impl<'a> Freeze for Utf8Chunks<'a>

impl<'a> Freeze for Context<'a>

impl<'a> Freeze for ContextBuilder<'a>

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

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

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

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

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

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

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

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

impl<'a, I> Freeze for ByRefSized<'a, I>

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'a, K, V> Freeze for RangeMut<'a, K, V>

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

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

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

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

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

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

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

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

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

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

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

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

impl<'a, K, V, A> Freeze for creusot_contracts::std::collections::btree_map::CursorMut<'a, K, V, A>

impl<'a, K, V, A> Freeze for CursorMutKey<'a, K, V, A>

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

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

impl<'a, K, V, S> Freeze for RawEntryMut<'a, K, V, S>

impl<'a, K, V, S> Freeze for RawEntryBuilder<'a, K, V, S>

impl<'a, K, V, S> Freeze for RawEntryBuilderMut<'a, K, V, S>

impl<'a, K, V, S> Freeze for RawOccupiedEntryMut<'a, K, V, S>

impl<'a, K, V, S> Freeze for RawVacantEntryMut<'a, K, V, S>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'a, T> Freeze for Chunks<'a, T>

impl<'a, T> Freeze for ChunksExact<'a, T>

impl<'a, T> Freeze for ChunksExactMut<'a, T>

impl<'a, T> Freeze for ChunksMut<'a, T>

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

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

impl<'a, T> Freeze for RChunks<'a, T>

impl<'a, T> Freeze for RChunksExact<'a, T>

impl<'a, T> Freeze for RChunksExactMut<'a, T>

impl<'a, T> Freeze for RChunksMut<'a, T>

impl<'a, T> Freeze for Windows<'a, T>

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

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

impl<'a, T> Freeze for MappedMutexGuard<'a, T>

where T: ?Sized,

impl<'a, T> Freeze for MappedRwLockReadGuard<'a, T>

where T: ?Sized,

impl<'a, T> Freeze for MappedRwLockWriteGuard<'a, T>

where T: ?Sized,

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

where T: ?Sized,

impl<'a, T> Freeze for ReentrantLockGuard<'a, T>

where T: ?Sized,

impl<'a, T> Freeze for RwLockReadGuard<'a, T>

where T: ?Sized,

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

where T: ?Sized,

impl<'a, T, A> Freeze for creusot_contracts::std::collections::binary_heap::Drain<'a, T, A>

impl<'a, T, A> Freeze for DrainSorted<'a, T, A>

impl<'a, T, A> Freeze for PeekMut<'a, T, A>

impl<'a, T, A> Freeze for creusot_contracts::std::collections::btree_set::Difference<'a, T, A>

impl<'a, T, A> Freeze for creusot_contracts::std::collections::btree_set::Intersection<'a, T, A>

impl<'a, T, A> Freeze for creusot_contracts::std::collections::linked_list::Cursor<'a, T, A>

impl<'a, T, A> Freeze for creusot_contracts::std::collections::linked_list::CursorMut<'a, T, A>

impl<'a, T, A> Freeze for creusot_contracts::std::collections::vec_deque::Drain<'a, T, A>

impl<'a, T, A> Freeze for creusot_contracts::std::vec::Drain<'a, T, A>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'b, T> Freeze for Ref<'b, T>

where T: ?Sized,

impl<'b, T> Freeze for RefMut<'b, T>

where T: ?Sized,

impl<'data> Freeze for BorrowedBuf<'data>

impl<'f> Freeze for VaListImpl<'f>

impl<'fd> Freeze for BorrowedFd<'fd>

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

impl<'scope, T> Freeze for ScopedJoinHandle<'scope, T>

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

impl<A> !Freeze for RepeatN<A>

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

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

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

impl<A, B> Freeze for Mapping<A, B>

where A: ?Sized, B: ?Sized,

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

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

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

impl<Dyn> Freeze for DynMetadata<Dyn>

where Dyn: ?Sized,

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

impl<F> !Freeze for PollFn<F>

impl<F> !Freeze for FromFn<F>

impl<F> !Freeze for OnceWith<F>

impl<F> !Freeze for RepeatWith<F>

impl<H> Freeze for BuildHasherDefault<H>

impl<I> !Freeze for FromIter<I>

impl<I> !Freeze for DecodeUtf16<I>

impl<I> !Freeze for Cloned<I>

impl<I> !Freeze for Copied<I>

impl<I> !Freeze for Cycle<I>

impl<I> !Freeze for Enumerate<I>

impl<I> !Freeze for Flatten<I>

impl<I> !Freeze for Fuse<I>

impl<I> !Freeze for Intersperse<I>

impl<I> !Freeze for Peekable<I>

impl<I> !Freeze for Skip<I>

impl<I> !Freeze for StepBy<I>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<Idx> !Freeze for RangeFrom<Idx>

impl<Idx> !Freeze for RangeInclusive<Idx>

impl<Idx> !Freeze for RangeTo<Idx>

impl<Idx> !Freeze for RangeToInclusive<Idx>

impl<K> Freeze for creusot_contracts::std::collections::hash_set::IntoIter<K>

impl<K, V> Freeze for FMap<K, V>

where V: ?Sized,

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

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

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

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

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

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

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

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

impl<Ptr> !Freeze for Pin<Ptr>

impl<R> !Freeze for BufReader<R>

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

impl<T> !Freeze for Bound<T>

impl<T> !Freeze for Option<T>

impl<T> !Freeze for TryLockError<T>

impl<T> !Freeze for TrySendError<T>

impl<T> !Freeze for Poll<T>

impl<T> !Freeze for Cell<T>

impl<T> !Freeze for OnceCell<T>

impl<T> !Freeze for RefCell<T>

impl<T> !Freeze for SyncUnsafeCell<T>

impl<T> !Freeze for Reverse<T>

impl<T> !Freeze for AsyncDropInPlace<T>

impl<T> !Freeze for Ready<T>

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

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

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

impl<T> !Freeze for Rev<T>

impl<T> !Freeze for Discriminant<T>

impl<T> !Freeze for ManuallyDrop<T>

impl<T> !Freeze for NonZero<T>

impl<T> !Freeze for Saturating<T>

impl<T> !Freeze for Wrapping<T>

impl<T> !Freeze for Yeet<T>

impl<T> !Freeze for AssertUnwindSafe<T>

impl<T> !Freeze for AtomicPtr<T>

impl<T> !Freeze for SendError<T>

impl<T> !Freeze for Exclusive<T>

impl<T> !Freeze for Mutex<T>

impl<T> !Freeze for OnceLock<T>

impl<T> !Freeze for PoisonError<T>

impl<T> !Freeze for ReentrantLock<T>

impl<T> !Freeze for RwLock<T>

impl<T> !Freeze for MaybeUninit<T>

impl<T> !Freeze for Storage<T>

impl<T> Freeze for GhostBox<T>

where T: ?Sized,

impl<T> Freeze for FSet<T>

where T: ?Sized,

impl<T> Freeze for Seq<T>

where T: ?Sized,

impl<T> Freeze for Set<T>

where T: ?Sized,

impl<T> Freeze for PtrOwn<T>

where T: ?Sized,

impl<T> Freeze for Snapshot<T>

where T: ?Sized,

impl<T> Freeze for ThinBox<T>

where T: ?Sized,

impl<T> Freeze for Pending<T>

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

impl<T> Freeze for NonNull<T>

where T: ?Sized,

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

impl<T> Freeze for Receiver<T>

impl<T> Freeze for Sender<T>

impl<T> Freeze for SyncSender<T>

impl<T> Freeze for JoinHandle<T>

impl<T> Freeze for LocalKey<T>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<W> !Freeze for BufWriter<W>

impl<W> !Freeze for IntoInnerError<W>

impl<W> !Freeze for LineWriter<W>

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

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