Skip to content

[beta] backports #145719

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
Merged
merged 4 commits into from
Aug 21, 2025
Merged

[beta] backports #145719

merged 4 commits into from
Aug 21, 2025
+83 −38

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Aug 21, 2025 •
edited by rustbot
Loading

r? cuviper

fmease and others added 4 commits August 21, 2025 08:45
@fmease @cuviper
Gate const trait syntax
3c3c140 
(cherry picked from commit 092c6f3)
@shepmaster @cuviper
Use aarch64-apple-darwin as the fallback doc source for -apple-
b991118 
We are moving away from `x86_64-apple-darwin`, so soon these docs
won't be available.

(cherry picked from commit 36a3820)
@shepmaster @cuviper
Demote x86_64-apple-darwin to Tier 2 with host tools
fd942a5 
Switch to only using aarch64 runners (implying we are now
cross-compiling) and stop running tests. In the future, we could
enable (some?) tests via Rosetta 2.

(cherry picked from commit c574c91)
@xizheyin @cuviper
Do not use effective_visibilities query for Adt types of a local trai…
f0f182d 
…t while proving a where-clause

Signed-off-by: xizheyin <[email protected]>
(cherry picked from commit 27e6726)
@rustbot rustbot added A-CI Area: Our Github Actions CI A-testsuite Area: The testsuite used to check the correctness of rustc 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-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. labels Aug 21, 2025
@cuviper
Copy link
Member Author

cuviper commented Aug 21, 2025

The cancelled PR CI was a GitHub outage -- everything else looks fine.

@bors r+ p=1 rollup=never

@bors
Copy link
Collaborator

bors commented Aug 21, 2025

📌 Commit f0f182d 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 Aug 21, 2025
@bors
Copy link
Collaborator

bors commented Aug 21, 2025

⌛ Testing commit f0f182d with merge 085bdc2...

@bors
Copy link
Collaborator

bors commented Aug 21, 2025

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing 085bdc2 to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Aug 21, 2025
@bors bors merged commit 085bdc2 into rust-lang:beta Aug 21, 2025
10 of 11 checks passed
@rustbot rustbot added this to the 1.90.0 milestone Aug 21, 2025
@fmease fmease mentioned this pull request Aug 22, 2025
Closed
@Mark-Simulacrum Mark-Simulacrum mentioned this pull request Aug 23, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@cuviper cuviper

Labels
A-CI Area: Our Github Actions CI A-testsuite Area: The testsuite used to check the correctness of rustc 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-infra Relevant to the infrastructure team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
1.90.0
Development

Successfully merging this pull request may close these issues.
6 participants
@cuviper @bors @rustbot @fmease @shepmaster @xizheyin