Skip to content

manage object lifetime in the face of more aggressive inlining and optimizations#239

Merged
davidkoski merged 1 commit intomainfrom
object-lifetime
May 16, 2025
Merged

manage object lifetime in the face of more aggressive inlining and optimizations#239
davidkoski merged 1 commit intomainfrom
object-lifetime

Conversation

@davidkoski
Copy link
Collaborator

No description provided.

@davidkoski davidkoski requested a review from awni May 16, 2025 15:00
Copy link
Member

@awni awni left a comment

Choose a reason for hiding this comment

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

LGTM, thanks for the fix!

@davidkoski davidkoski merged commit c8c7860 into main May 16, 2025
1 check passed
@davidkoski davidkoski deleted the object-lifetime branch May 16, 2025 19:17
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.

2 participants