Skip to content

Conversation

jpolitz
Copy link
Member

@jpolitz jpolitz commented Nov 25, 2020

This PR can be closed if it's not useful to have the discussion here, but I figured it's an easy way to talk about some of the issues/tests that we'd like to add.

@jpolitz
Copy link
Member Author

jpolitz commented Feb 18, 2025

@shriram this is something we talked about.

@blerner what do you think of this? I guess it needs a keys-now and likely remove-now to be truly useful.

I feel like there's enough reasons to have this, and it's straightforward given the existence of Map.

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