Function rs_refcount_persistent_roundtrip

crates/ffi/src/refcount.rs:224–230

(
  name: LeanIxName<LeanBorrowed<'_>>,
)

/// Decode a persistent Name and rebuild it.
#[unsafe(no_mangle)]
pub extern "C" fn rs_refcount_persistent_roundtrip(
  name: LeanIxName<LeanBorrowed<'_>>,
) -> LeanIxName<LeanOwned> {
  let decoded = name.decode();
  let mut cache = LeanBuildCache::new();
  LeanIxName::build(&mut cache, &decoded)
}

// =============================================================================
// String lifecycle