Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use the Equivalent trait from the equivalent crate #442

Merged
merged 1 commit into from Jul 9, 2023

Conversation

Amanieu
Copy link
Member

@Amanieu Amanieu commented Jul 9, 2023

This allows types implementating the Equivalent trait to work with other hash table, such as IndexMap.

See indexmap-rs/indexmap#253.

This allows types implementating the `Equivalent` trait to work with
other hash table, such as `IndexMap`.

See indexmap-rs/indexmap#253.
@Amanieu
Copy link
Member Author

Amanieu commented Jul 9, 2023

@bors r+

@bors
Copy link
Collaborator

bors commented Jul 9, 2023

📌 Commit 6b14b8e has been approved by Amanieu

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jul 9, 2023

⌛ Testing commit 6b14b8e with merge 3b348ea...

@bors
Copy link
Collaborator

bors commented Jul 9, 2023

☀️ Test successful - checks-actions
Approved by: Amanieu
Pushing 3b348ea to master...

@bors bors merged commit 3b348ea into rust-lang:master Jul 9, 2023
25 checks passed
@@ -117,6 +117,11 @@ pub mod hash_set {
pub use crate::map::HashMap;
pub use crate::set::HashSet;

#[cfg(feature = "equivalent")]
use equivalent::Equivalent;
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Shouldn't this be pub to match the API without the feature?
(or else hide them both in a breaking change)

bors added a commit that referenced this pull request Jul 18, 2023
Publicly re-export `Equivalent` from the crate root

Addresses #442 (comment).
@Amanieu Amanieu mentioned this pull request Jul 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants