Skip to content

Conversation

tamird
Copy link
Contributor

@tamird tamird commented Jan 7, 2024

@ehuss
Copy link
Contributor

ehuss commented Jan 11, 2024

Thanks, I pushed some comments to explain the unusual nature of the type.

@ehuss ehuss added this pull request to the merge queue Jan 11, 2024
Merged via the queue into rust-lang:master with commit af35029 Jan 11, 2024
@tamird tamird deleted the fix-build branch January 11, 2024 16:31
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