Skip to content

Conversation

@antiguru
Copy link
Member

@antiguru antiguru commented Aug 7, 2025

We need to name anonymous lifetimes in more places.

We need to name anonymous lifetimes in more places.

Signed-off-by: Moritz Hoffmann <[email protected]>
@antiguru antiguru merged commit 4147948 into TimelyDataflow:master Aug 7, 2025
5 checks passed
@antiguru antiguru deleted the rust_189 branch August 7, 2025 11:49
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