loaned
| Crates.io | loaned |
| lib.rs | loaned |
| version | 0.1.2 |
| created_at | 2024-04-19 16:16:38.74403+00 |
| updated_at | 2024-06-03 14:45:25.687787+00 |
| description | Safely move values with live inner borrows. |
| homepage | |
| repository | https://github.com/tjjfvi/loaned |
| max_upload_size | |
| id | 1213880 |
| size | 41,650 |
T6 (tjjfvi)
documentation
README
loaned
loaned provides Loaned<'t, T> and LoanedMut<'t, T> types which allow
owning values that have live immutable/mutable borrows, allowing a limited (but
very expressive) subset of self-referential structures to be expressed.
Examples
See examples/.
Safety
loaned uses unsafe code, the soundness of which has not been rigorously
proven, although basic tests have been run successfully through Miri.