librust-proptest+default-code-coverage-dev binary: empty-rust-library-declares-provides *