#[non_exhaustive]pub enum SemanticProvenanceKind {
Builder,
Imported,
Derived,
}Expand description
Diagnostic origin class of one semantic operation.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
Builder
Operation was added directly through a semantic-program builder.
Imported
Operation was preserved by importing another semantic program.
Derived
Operation was produced by an internal semantic derivation.
Trait Implementations§
Source§impl Clone for SemanticProvenanceKind
impl Clone for SemanticProvenanceKind
Source§fn clone(&self) -> SemanticProvenanceKind
fn clone(&self) -> SemanticProvenanceKind
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · 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 SemanticProvenanceKind
impl Debug for SemanticProvenanceKind
Source§impl Hash for SemanticProvenanceKind
impl Hash for SemanticProvenanceKind
Source§impl PartialEq for SemanticProvenanceKind
impl PartialEq for SemanticProvenanceKind
Source§fn eq(&self, other: &SemanticProvenanceKind) -> bool
fn eq(&self, other: &SemanticProvenanceKind) -> bool
Tests for
self and other values to be equal, and is used by ==.impl Copy for SemanticProvenanceKind
impl Eq for SemanticProvenanceKind
impl StructuralPartialEq for SemanticProvenanceKind
Auto Trait Implementations§
impl Freeze for SemanticProvenanceKind
impl RefUnwindSafe for SemanticProvenanceKind
impl Send for SemanticProvenanceKind
impl Sync for SemanticProvenanceKind
impl Unpin for SemanticProvenanceKind
impl UnsafeUnpin for SemanticProvenanceKind
impl UnwindSafe for SemanticProvenanceKind
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more