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