Function rs_roundtrip_ix_data_value

crates/ffi/src/ix/data.rs:435–441

(
  dv_ptr: LeanIxDataValue<LeanBorrowed<'_>>,
)

#[cfg(feature = "test-ffi")]
#[unsafe(no_mangle)]
pub extern "C" fn rs_roundtrip_ix_data_value(
  dv_ptr: LeanIxDataValue<LeanBorrowed<'_>>,
) -> LeanIxDataValue<LeanOwned> {
  let dv = dv_ptr.decode();
  let mut cache = LeanBuildCache::new();
  LeanIxDataValue::build(&mut cache, &dv)
}