Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove unused trait BoundedSize #136040

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Remove unused trait BoundedSize #136040

wants to merge 1 commit into from
+0 −55

Conversation

mu001999
Copy link
Contributor

Detected by #128637

The usage of this trait is removed in #135104

r? @the8472

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Jan 25, 2025
@mu001999
Copy link
Contributor Author

r?

@rustbot
Copy link
Collaborator

rustbot commented Mar 18, 2025

Error: Parsing assign command in comment failed: ...'' | error: specify user to assign to at >| ''...

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #t-infra on Zulip.

@mu001999
Copy link
Contributor Author

r? library

@rustbot
Copy link
Collaborator

rustbot commented Mar 18, 2025

Failed to set assignee to library: invalid assignee

Note: Only org members with at least the repository "read" role, users with write permissions, or people who have commented on the PR may be assigned.

@mu001999
Copy link
Contributor Author

r? @Mark-Simulacrum

@rustbot rustbot assigned Mark-Simulacrum and unassigned the8472 Mar 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Mark-Simulacrum Mark-Simulacrum

Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@mu001999 @rustbot @the8472 @Mark-Simulacrum