Struct chalk_solve::coherence::SpecializationPriority
source · pub struct SpecializationPriority(usize);
Expand description
Impls with higher priority take precedence over impls with lower priority (if both apply to the same types). Impls with equal priority should never apply to the same set of input types.
Tuple Fields§
§0: usize
Trait Implementations§
source§impl Clone for SpecializationPriority
impl Clone for SpecializationPriority
source§fn clone(&self) -> SpecializationPriority
fn clone(&self) -> SpecializationPriority
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for SpecializationPriority
impl Debug for SpecializationPriority
source§impl Default for SpecializationPriority
impl Default for SpecializationPriority
source§fn default() -> SpecializationPriority
fn default() -> SpecializationPriority
Returns the “default value” for a type. Read more
source§impl Ord for SpecializationPriority
impl Ord for SpecializationPriority
source§fn cmp(&self, other: &SpecializationPriority) -> Ordering
fn cmp(&self, other: &SpecializationPriority) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq for SpecializationPriority
impl PartialEq for SpecializationPriority
source§fn eq(&self, other: &SpecializationPriority) -> bool
fn eq(&self, other: &SpecializationPriority) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd for SpecializationPriority
impl PartialOrd for SpecializationPriority
source§fn partial_cmp(&self, other: &SpecializationPriority) -> Option<Ordering>
fn partial_cmp(&self, other: &SpecializationPriority) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for SpecializationPriority
impl Eq for SpecializationPriority
impl StructuralPartialEq for SpecializationPriority
Auto Trait Implementations§
impl Freeze for SpecializationPriority
impl RefUnwindSafe for SpecializationPriority
impl Send for SpecializationPriority
impl Sync for SpecializationPriority
impl Unpin for SpecializationPriority
impl UnwindSafe for SpecializationPriority
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
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.source§impl<T> CloneToUninit for Twhere
T: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.