Enum MergeError 

pub enum MergeError {
    ReplicaCountMismatch {
        own: usize,
        other: usize,
    },
}

Error raised by the checked full-state merge (try_merge).

The Lean model fixes the replica set (Fin n), so a length mismatch is unrepresentable there. At the Rust boundary an untrusted peer can hand us a state vector of a different width; merging it by zip would silently drop the trailing coordinates (WS1 silent state loss). The checked path surfaces the mismatch as an error instead of corrupting state.

Variants

ReplicaCountMismatch

The two counters cover a different number of replicas.

Fields

own: usize

other: usize

Trait Implementations

impl Clone for MergeError

fn clone(&self) -> MergeError

Returns a duplicate of the value. Read more

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

Performs copy-assignment from source. Read more

impl Copy for MergeError

impl Debug for MergeError

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

Formats the value using the given formatter. Read more

impl Display for MergeError

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

Formats the value using the given formatter. Read more

impl Eq for MergeError

impl Error for MergeError

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

Returns the lower-level source of this error, if any. Read more

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

Read more

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. Read more

impl PartialEq for MergeError

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for MergeError