( si_ptr: LeanIxSourceInfo<LeanBorrowed<'_>>, )
| 401 | #[cfg(feature = "test-ffi")] |
| 402 | #[unsafe(no_mangle)] |
| 403 | pub extern "C" fn rs_roundtrip_ix_source_info( |
| 404 | si_ptr: LeanIxSourceInfo<LeanBorrowed<'_>>, |
| 405 | ) -> LeanIxSourceInfo<LeanOwned> { |
| 406 | let si = si_ptr.decode(); |
| 407 | LeanIxSourceInfo::build(&si) |
| 408 | } |
| 409 | |
| 410 | /// Round-trip an Ix.SyntaxPreresolved: decode from Lean, re-encode. |
| 411 | #[cfg(feature = "test-ffi")] |