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

[beta] backports and stage0 bump #126453

Merged
merged 5 commits into from
Jun 14, 2024
Merged

[beta] backports and stage0 bump #126453

merged 5 commits into from
Jun 14, 2024
+472 −569

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Jun 14, 2024 •
edited
Loading

r? cuviper

cuviper and others added 4 commits June 13, 2024 18:13
@cuviper
Bump stage0 to 1.79.0
f0a3643
@oli-obk @cuviper
Add regression test
11495de 
(cherry picked from commit fe55c00)
@oli-obk @cuviper
Revert "When checking whether an impl applies, constrain hidden types…
85ca09b 
… of opaque types."

This reverts commit 29a630e.

(cherry picked from commit 6cca6da)
@oli-obk @cuviper
Also test under next solver
f1dd097 
(cherry picked from commit 03fa9b8)
@rustbot
Copy link
Collaborator

rustbot commented Jun 14, 2024

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-release Relevant to the release subteam, which will review and decide on the PR/issue. labels Jun 14, 2024
@cuviper
Copy link
Member Author

cuviper commented Jun 14, 2024

@bors r+ rollup=never

@bors
Copy link
Contributor

bors commented Jun 14, 2024

📌 Commit f1dd097 has been approved by cuviper

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jun 14, 2024

🌲 The tree is currently closed for pull requests below priority 13. This pull request will be tested once the tree is reopened.

@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 Jun 14, 2024
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@cuviper cuviper mentioned this pull request Jun 14, 2024
Merged
@cuviper
Copy link
Member Author

cuviper commented Jun 14, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Jun 14, 2024

📌 Commit b78497c has been approved by cuviper

It is now in the queue for this repository.

@cuviper cuviper mentioned this pull request Jun 14, 2024
Closed
@cuviper cuviper linked an issue Jun 14, 2024 that may be closed by this pull request
please update src/stage0 for beta branch #126474
Closed
@bors
Copy link
Contributor

bors commented Jun 14, 2024

⌛ Testing commit b78497c with merge 105fc5c...

@bors
Copy link
Contributor

bors commented Jun 14, 2024

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing 105fc5c to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jun 14, 2024
@bors bors merged commit 105fc5c into rust-lang:beta Jun 14, 2024
7 checks passed
@rustbot rustbot added this to the 1.80.0 milestone Jun 14, 2024
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
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-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-release Relevant to the release subteam, which will review and decide on the PR/issue.
Projects
None yet
Milestone
1.80.0
Development

Successfully merging this pull request may close these issues.

please update src/stage0 for beta branch
6 participants
@cuviper @rustbot @bors @rust-log-analyzer @oli-obk @GuillaumeGomez