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