Enum MergeError 

pub enum MergeError {
    EndMismatch(LocalTypeR),
    PartnerMismatch {
        expected: String,
        found: String,
    },
    DirectionMismatch,
    IncompatibleContinuations {
        label: String,
    },
    PayloadAnnotationMismatch {
        label: String,
        left: String,
        right: String,
    },
    SendLabelMismatch {
        left: String,
        right: String,
    },
    SendBranchCountMismatch {
        left: usize,
        right: usize,
    },
    RecursiveVariableMismatch {
        expected: String,
        found: String,
    },
    VariableMismatch {
        expected: String,
        found: String,
    },
    IncompatibleTypes,
}

Errors that can occur during type merging

Variants

EndMismatch(LocalTypeR)

Cannot merge End with a non-End type

PartnerMismatch

Cannot merge types with different partners

Fields

expected: String

found: String

DirectionMismatch

Cannot merge types with different directions (send vs recv)

IncompatibleContinuations

Labels with the same name have incompatible continuations

Fields

label: String

PayloadAnnotationMismatch

Labels with the same name have incompatible payload annotations

Fields

label: String

left: String

right: String

SendLabelMismatch

Send branches have different label sets (not allowed for internal choice)

Fields

left: String

right: String

SendBranchCountMismatch

Send branches have different number of labels

Fields

left: usize

right: usize

RecursiveVariableMismatch

Cannot merge recursive types with different variable names

Fields

expected: String

found: String

VariableMismatch

Cannot merge type variables with different names

Fields

expected: String

found: String

IncompatibleTypes

Merge of these types is not defined

Trait Implementations

impl Clone for MergeError

fn clone(&self) -> MergeError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MergeError

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

Formats the value using the given formatter.

impl Display for MergeError

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

Formats the value using the given formatter.

impl Error for MergeError

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

Returns 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.