Skip to content

Leave private traits' name out of scope#267

Merged
dtolnay merged 1 commit intomasterfrom
useunderscore
Dec 25, 2023
Merged

Leave private traits' name out of scope#267
dtolnay merged 1 commit intomasterfrom
useunderscore

Conversation

@dtolnay
Copy link
Copy Markdown
Owner

@dtolnay dtolnay commented Dec 25, 2023

No description provided.

@dtolnay dtolnay merged commit d160dd2 into master Dec 25, 2023
@dtolnay dtolnay deleted the useunderscore branch December 25, 2023 18:28
takumi-earth pushed a commit to earthlings-dev/thiserror that referenced this pull request Jan 27, 2026
Leave private traits' name out of scope
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