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.

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

[beta] backports #136980

Merged
merged 18 commits into from
Feb 13, 2025
Merged

[beta] backports #136980

merged 18 commits into from
Feb 13, 2025

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Feb 13, 2025

r? cuviper

dianne and others added 18 commits February 10, 2025 23:08
This aligns the main error message a bit more with the phrasing in the
Edition Guide and provides a bit more information on the labels to
(hopefully!) aid in understanding.

(cherry picked from commit bdc6c4d)
(cherry picked from commit 9202001)
(cherry picked from commit a5cc4cb)
Most of these are meant to test possible future improvements, but since
they cover cases the existing test suite didn't, I figure including them
now may be helpful.

(cherry picked from commit f1e4d94)
(cherry picked from commit c1da4f1)
@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Feb 13, 2025
@cuviper
Copy link
Member Author

cuviper commented Feb 13, 2025

@bors r+ rollup=never p=5

@bors
Copy link
Contributor

bors commented Feb 13, 2025

📌 Commit e5ba20b has been approved by cuviper

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 13, 2025
@bors
Copy link
Contributor

bors commented Feb 13, 2025

⌛ Testing commit e5ba20b with merge 461de74...

@bors
Copy link
Contributor

bors commented Feb 13, 2025

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing 461de74 to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Feb 13, 2025
@bors bors merged commit 461de74 into rust-lang:beta Feb 13, 2025
7 checks passed
@rustbot rustbot added this to the 1.85.0 milestone Feb 13, 2025
@cuviper cuviper deleted the beta-next branch February 17, 2025 17:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants