Function rs_decompile_env

crates/ffi/src/compile.rs:1524–1550

(
  raw_env_obj: LeanIxonRawEnv<LeanOwned>,
)

      },
      5 => {
        CompileError::Serialize(LeanIxSerializeError(self.get_obj(0)).decode())
      },
      tag => unreachable!("Invalid CompileError tag: {tag}"),
    }
  }
}

/// FFI: Round-trip a DecompileError: Lean → Rust → Lean.
#[cfg(feature = "test-ffi")]
#[unsafe(no_mangle)]
pub extern "C" fn rs_roundtrip_decompile_error(
  obj: LeanIxDecompileError<LeanBorrowed<'_>>,
) -> LeanIxDecompileError<LeanOwned> {
  let err = obj.decode();
  LeanIxDecompileError::build(&err)
}

/// FFI: Round-trip a CompileError: Lean → Rust → Lean.
#[cfg(feature = "test-ffi")]
#[unsafe(no_mangle)]
pub extern "C" fn rs_roundtrip_compile_error(
  obj: LeanIxCompileError<LeanBorrowed<'_>>,
) -> LeanIxCompileError<LeanOwned> {
  let err = obj.decode();
  LeanIxCompileError::build(&err)
}

/// FFI: Round-trip a SerializeError: Lean → Rust → Lean.
#[cfg(feature = "test-ffi")]
#[unsafe(no_mangle)]