librust-proptest+rusty-fork-dev binary: empty-rust-library-declares-provides *