Skip to content

Conversation

@clarfonthey
Copy link
Contributor

Essentially, until TAIT (rust-lang/rust#63063) is stable, we're going to need some form of RawExtractIf internally, and so will external users if they want to wrap their tables in a special way. So, let's actually make the API public under the name Extractor.

This is also the last bit needed to make HashSet not depend on the raw table implementation, being fully implemented via HashMap.

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.

1 participant