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