Skip to content

[beta] backport for #84769 #84969

New issue

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

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

Already on GitHub? # to your account

Closed
wants to merge 1 commit into from

Conversation

workingjubilee
Copy link
Member

Pulls in #84808 for 1.53.
Closes #84769 (for real this time).

r? @pietroalbini

@rust-highfive
Copy link
Contributor

⚠️ 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!

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 6, 2021
@pietroalbini
Copy link
Member

Thanks for the PR!

Procedurally, the compiler team will need to approve the backport before this can be merged. They'll apply the beta-accepted label to the original PR when they do so.

@Mark-Simulacrum
Copy link
Member

Rolled up into [beta] backports #84996 - thanks!

@Mark-Simulacrum Mark-Simulacrum added this to the 1.53.0 milestone May 6, 2021
bors added a commit to rust-lang-ci/rust that referenced this pull request May 7, 2021
…ulacrum

[beta] backports

First-ish round of beta backports:

*  [beta] backport for rust-lang#84769 rust-lang#84969
*  [beta] Bump stage0 to production 1.52.0 rust-lang#84994
*  Deduplicate ParamCandidates with the same value except for bound vars rust-lang#84559
@workingjubilee workingjubilee deleted the beta-84769 branch October 4, 2021 20:43
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants