Skip to content

Document the where keyword #74017

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 3 commits into from
Jul 25, 2020
Merged

Document the where keyword #74017

merged 3 commits into from
Jul 25, 2020

Conversation

poliorcetics
Copy link
Contributor

Partial fix of #34601 (and last PR for it 🎉).

This documents the where keyword.

@rustbot modify labels: T-doc,C-enhancement

@rustbot rustbot added C-enhancement Category: An issue proposing an enhancement or a PR with one. A-docs Area: Documentation for any part of the project, including the compiler, standard library, and tools labels Jul 3, 2020
@rust-highfive
Copy link
Contributor

r? @hanna-kruppe

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 3, 2020
@poliorcetics poliorcetics mentioned this pull request Jul 3, 2020
Closed
jyn514
jyn514 reviewed Jul 23, 2020
View reviewed changes
jyn514
jyn514 reviewed Jul 23, 2020
View reviewed changes
jyn514
jyn514 reviewed Jul 23, 2020
View reviewed changes
@jyn514
Copy link
Member

jyn514 commented Jul 24, 2020

@bors r+ rollup=always

@bors
Copy link
Collaborator

bors commented Jul 24, 2020

📌 Commit 6af60d3 has been approved by jyn514

@bors
Copy link
Collaborator

bors commented Jul 24, 2020

🌲 The tree is currently closed for pull requests below priority 5, 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 Jul 24, 2020
@bors
Copy link
Collaborator

bors commented Jul 25, 2020

⌛ Testing commit 6af60d3 with merge c4e1734...

@bors
Copy link
Collaborator

bors commented Jul 25, 2020

☀️ Test successful - checks-actions, checks-azure
Approved by: jyn514
Pushing c4e1734 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jul 25, 2020
@bors bors merged commit c4e1734 into rust-lang:master Jul 25, 2020
@bors bors mentioned this pull request Jul 25, 2020
Merged
@poliorcetics poliorcetics deleted the where-keyword branch July 25, 2020 08:29
@cuviper cuviper added this to the 1.47.0 milestone May 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
1 more reviewer

@jyn514 jyn514 jyn514 left review comments

Reviewers whose approvals may not affect merge requirements
Assignees

@hanna-kruppe hanna-kruppe

Labels
A-docs Area: Documentation for any part of the project, including the compiler, standard library, and tools C-enhancement Category: An issue proposing an enhancement or a PR with one. 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.
Projects
None yet
Milestone
1.47.0
Development

Successfully merging this pull request may close these issues.
7 participants
@poliorcetics @rust-highfive @jyn514 @bors @cuviper @hanna-kruppe @rustbot