Method decode

crates/ffi/src/compile.rs:1210–1252

Decode a Lean Ixon.SerializeError to a Rust SerializeError.

(&self)

        ctor.set_obj(0, build_lean_string(expected));
        ctor
      },
      SerializeError::InvalidTag { tag, context } => {
        let ctor = LeanIxSerializeError::alloc(1);
        ctor.set_obj(0, build_lean_string(context));
        ctor.set_num_8(0, *tag);
        ctor
      },
      SerializeError::InvalidFlag { flag, context } => {
        let ctor = LeanIxSerializeError::alloc(2);
        ctor.set_obj(0, build_lean_string(context));
        ctor.set_num_8(0, *flag);
        ctor
      },
      SerializeError::InvalidVariant { variant, context } => {
        let ctor = LeanIxSerializeError::alloc(3);
        ctor.set_obj(0, build_lean_string(context));
        ctor.set_num_64(0, *variant);
        ctor
      },
      SerializeError::InvalidBool { value } => {
        let ctor = LeanIxSerializeError::alloc(4);
        ctor.set_num_8(0, *value);
        ctor
      },
      SerializeError::AddressError => Self::new(LeanOwned::box_usize(5)),
      SerializeError::InvalidShareIndex { idx, max } => {
        let ctor = LeanIxSerializeError::alloc(6);
        ctor.set_obj(0, build_lean_nat_usize(*max));
        ctor.set_num_64(0, *idx);
        ctor
      },
    }
  }
}

impl<R: LeanRef> LeanIxSerializeError<R> {
  /// Decode a Lean Ixon.SerializeError to a Rust SerializeError.
  pub fn decode(&self) -> SerializeError {
    // Tag 5 (addressError) has 0 fields → Lean represents as scalar
    if self.inner().is_scalar() {
      let tag = self.inner().unbox_usize();
      assert_eq!(tag, 5, "Invalid scalar SerializeError tag: {}", tag);
      return SerializeError::AddressError;
    }
    match self.as_ctor().tag() {
      0 => {