Skip to content

Conversation

@cramertj
Copy link
Member

@cramertj cramertj commented Jul 24, 2025

@lqd lqd merged commit 9a833f5 into rust-lang:main Jul 24, 2025
2 checks passed
@lqd
Copy link
Member

lqd commented Jul 24, 2025

Great, that resolves my question from the PR. Thanks

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.

"auto is used below as an example keyword" but auto isn't there

2 participants