The value in property based tests is that the original libraries (Quickchwck, both Haskell and Erlang) try to find the smallest reproducible error sample, and then display that sample to you.
And that (Quickcheck at least) has a bunch of primitive generators that you build your structures out of.
No idea, if it's doable in Rust. I just find it strange that it works on a stream of random bytes out of which you magically get some structures.
I like using https://altsysrq.github.io/proptest-book/intro.html for those very reasons. https://github.com/BurntSushi/quickcheck came first, but I prefer proptest’s implementation more than quickcheck’s type-based one