librust-proptest-state-machine+std-dev binary: empty-rust-library-declares-provides *