Struct chalk_integration::error::ChalkError

pub struct ChalkError {
    error_text: String,
}

Wrapper type for the various errors that can occur during chalk processing.

Fields

error_text: String

For now, we just convert the error into a string, which makes it trivially hashable etc.

Trait Implementations

impl Clone for ChalkError

fn clone(&self) -> ChalkError

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ChalkError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for ChalkError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for ChalkError

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

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

Provides type based access to context intended for error reports.

impl From<Box<dyn Error>> for ChalkError

fn from(value: Box<dyn Error>) -> Self

Converts to this type from the input type.

impl From<CoherenceError<ChalkIr>> for ChalkError

fn from(value: CoherenceError<ChalkIr>) -> Self

Converts to this type from the input type.

impl From<RustIrError> for ChalkError

fn from(value: RustIrError) -> Self

Converts to this type from the input type.

impl From<WfError<ChalkIr>> for ChalkError

fn from(value: WfError<ChalkIr>) -> Self

Converts to this type from the input type.

impl Hash for ChalkError

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ChalkError

fn eq(&self, other: &ChalkError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ChalkError

impl StructuralPartialEq for ChalkError