| commit | ae392e9d1a629a4f2b7f7970c0c1d8fa22ee638b | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Thu Nov 16 16:17:24 2023 +0000 |
| committer | Andrew Walbran <qwandor@google.com> | Thu Nov 16 16:21:46 2023 +0000 |
| tree | 106e0ea99972697122caf4608d4d5c3b5b092a68 | |
| parent | 875357c176511eb03724468a6c74a00c38cd625f [diff] |
Migrate to cargo_embargo. Bug: 293289578 Test: Ran cargo_embargo, compared Android.bp Change-Id: Ie8d63e984ddf3ff114d3758ecbfbdc6708496cea
A 100% safe crate of vec-like types. #![forbid(unsafe_code)]
Main types are as follows:
ArrayVec is an array-backed vec-like data structure. It panics on overflow.SliceVec is the same deal, but using a &mut [T].TinyVec (alloc feature) is an enum that's either an Inline(ArrayVec) or a Heap(Vec). If a TinyVec is Inline and would overflow it automatically transitions to Heap and continues whatever it was doing.To attain this “100% safe code” status there is one compromise: the element type of the vecs must implement Default.
For more details, please see the docs.rs documentation