arbitrary 1.5.0

The trait for generating structured data from unstructured data
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

use {
    crate::{Arbitrary, Result, Unstructured},
    std::ffi::CString,
};

impl<'a> Arbitrary<'a> for CString {
    fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self> {
        <Vec<u8> as Arbitrary>::arbitrary(u).map(|mut x| {
            x.retain(|&c| c != 0);
            // SAFETY:
            // Contract from `CString::from_vec_unchecked`: the vector must not contain
            // any interior nul (zero) bytes.
            // Evidence: `x.retain(|&c| c != 0)` removes all bytes equal to `0` from the
            // vector `x`. Consequently, `x` contains no nul bytes, which guarantees
            // it has no interior nul bytes.
            unsafe { Self::from_vec_unchecked(x) }
        })
    }

    #[inline]
    fn size_hint(depth: usize) -> (usize, Option<usize>) {
        <Vec<u8> as Arbitrary>::size_hint(depth)
    }
}