pub enum OverlapMode {
Stable,
WithNegative,
Strict,
}
Expand description
What kind of overlap check are we doing – this exists just for testing and feature-gating purposes.
Variants
Stable
The 1.0 rules (either types fail to unify, or where clauses are not implemented for crate-local types)
WithNegative
Feature-gated test: Stable, or there is an explicit negative impl that rules out one of the where-clauses.
Strict
Just check for negative impls, not for “where clause not implemented”: used for testing.
Auto Trait Implementations
impl RefUnwindSafe for OverlapMode
impl Send for OverlapMode
impl Sync for OverlapMode
impl Unpin for OverlapMode
impl UnwindSafe for OverlapMode
Blanket Implementations
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
Stable
: 0 bytesWithNegative
: 0 bytesStrict
: 0 bytes