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