pbt 0.5.9

High-throughput property-based testing with `derive`, swarm-testing, precise sizing, and full graph-theoretic type analysis over mutually inductive and uninstantiable types.
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

//! Implementations for `[_; _]`.

use {
    crate::{
        Pbt,
        fields::{Fields, Store},
        reflection::{Parts, Variant, Variants},
        registration::Registration,
    },
    core::{any::TypeId, array, num::NonZero},
};

impl<T, const N: usize> Pbt for [T; N]
where
    T: Pbt,
{
    #[inline]
    #[expect(
        clippy::expect_used,
        clippy::panic,
        reason = "end-users shouldn't be calling this"
    )]
    fn construct<F>(
        Parts {
            mut fields,
            variant_index,
        }: Parts<F>,
    ) -> Self
    where
        F: Fields,
    {
        let algebraic_index: usize = variant_index.expect("`[_; _]` is not a literal").get();
        match algebraic_index {
            1 => array::from_fn(|_i| fields.field()),
            _ => panic!("can't instantiate variant #{algebraic_index} of `[_; _]`"),
        }
    }

    #[inline]
    fn deconstruct(self) -> Parts<Store> {
        let mut fields = Store::new();
        for t in self.into_iter().rev() {
            let () = fields.push(t);
        }
        Parts {
            fields,
            variant_index: Some(const { NonZero::new(1).unwrap() }),
        }
    }

    #[inline]
    fn register(registration: &mut Registration<'_>) -> Variants<Self> {
        let () = registration.register::<T>();
        Variants::Algebraic(vec![Variant {
            field_types: [TypeId::of::<T>(); N].into_iter().collect(),
        }])
    }
}

#[cfg(test)]
mod tests {
    #![expect(clippy::unwrap_used, reason = "failing tests ought to panic")]

    use {
        crate::{arbitrary::arbitrary, check_eta_expansion, check_serialization},
        pretty_assertions::assert_eq,
        wyrand::WyRand,
    };

    #[test]
    fn deterministic() {
        let mut prng = WyRand::new(42);
        let generated: Vec<[bool; 3]> = arbitrary(&mut prng).unwrap().take(10).collect();
        let expected: Vec<[bool; 3]> = vec![
            [true, true, true],
            [true, true, true],
            [true, true, true],
            [false, false, false],
            [false, false, false],
            [false, false, false],
            [true, true, true],
            [true, true, true],
            [true, true, true],
            [true, true, true],
        ];
        assert_eq!(generated, expected);
    }

    #[test]
    fn eta_expansion() {
        let () = check_eta_expansion::<[usize; 3]>();
    }

    #[test]
    fn eta_expansion_deep() {
        let () = check_eta_expansion::<Vec<[usize; 3]>>();
    }

    #[test]
    fn serialization() {
        let () = check_serialization::<[usize; 3]>();
    }

    #[test]
    fn serialization_deep() {
        let () = check_serialization::<Vec<[usize; 3]>>();
    }
}