enum CheckImpliedWfMode {
Check,
Skip,
}
Variants§
Check
Checks implied well-formedness of the impl method. If it fails, we will
re-check with Skip
, and emit a lint if it succeeds.
Skip
Skips checking implied well-formedness of the impl method, but will emit
a lint if the compare_method_predicate_entailment
succeeded. This means that
the reason that we had failed earlier during Check
was due to the impl
having stronger requirements than the trait.
Trait Implementations§
source§impl Debug for CheckImpliedWfMode
impl Debug for CheckImpliedWfMode
source§impl PartialEq<CheckImpliedWfMode> for CheckImpliedWfMode
impl PartialEq<CheckImpliedWfMode> for CheckImpliedWfMode
source§fn eq(&self, other: &CheckImpliedWfMode) -> bool
fn eq(&self, other: &CheckImpliedWfMode) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for CheckImpliedWfMode
impl StructuralEq for CheckImpliedWfMode
impl StructuralPartialEq for CheckImpliedWfMode
Auto Trait Implementations§
impl RefUnwindSafe for CheckImpliedWfMode
impl Send for CheckImpliedWfMode
impl Sync for CheckImpliedWfMode
impl Unpin for CheckImpliedWfMode
impl UnwindSafe for CheckImpliedWfMode
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn 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:
Check
: 0 bytesSkip
: 0 bytes