Function rs_roundtrip_decompile_error

crates/ffi/src/compile.rs:1491–1496

(
  obj: LeanIxDecompileError<LeanBorrowed<'_>>,
)

        ctor.set_obj(0, LeanIxSerializeError::build(se));
        ctor
      },
    }
  }
}

impl<R: LeanRef> LeanIxCompileError<R> {
  /// Decode a Lean CompileError to a Rust CompileError.
  pub fn decode(&self) -> CompileError {
    match self.as_ctor().tag() {