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

Two minor obligation_forest tweaks. #51203

Merged
merged 2 commits into from
May 31, 2018
Merged

Conversation

nnethercote
Copy link
Contributor

Pretty minimal improvements, but improvements nonetheless.

@rust-highfive
Copy link
Collaborator

r? @cramertj

(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 May 30, 2018
@michaelwoerister
Copy link
Member

Thanks, @nnethercote! Looks pretty unobjectionable.

@bors r+

@bors
Copy link
Contributor

bors commented May 30, 2018

📌 Commit b43f76e has been approved by michaelwoerister

@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 May 30, 2018
@Mark-Simulacrum
Copy link
Member

@bors rollup

@bors
Copy link
Contributor

bors commented May 30, 2018

🔒 Merge conflict

@bors bors added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels May 30, 2018
kennytm added a commit to kennytm/rust that referenced this pull request May 30, 2018
…lwoerister

Two minor `obligation_forest` tweaks.

Pretty minimal improvements, but improvements nonetheless.
bors added a commit that referenced this pull request May 30, 2018
Rollup of 12 pull requests

Successful merges:

 - #51050 (std::fs::DirEntry.metadata(): use fstatat instead of lstat when possible)
 - #51123 (Update build instructions)
 - #51127 (Add doc link from discriminant struct to function.)
 - #51146 (typeck: Do not pass the field check on field error)
 - #51147 (Stabilize SliceIndex trait.)
 - #51151 (Move slice::exact_chunks directly above exact_chunks_mut for more con…)
 - #51152 (Replace `if` with `if and only if` in the definition dox of `Sync`)
 - #51153 (Link panic and compile_error docs)
 - #51158 (Mention spec and indented blocks in doctest docs)
 - #51186 (Remove two redundant .nll.stderr files)
 - #51203 (Two minor `obligation_forest` tweaks.)
 - #51213 (fs: copy: Use File::set_permissions instead of fs::set_permissions)

Failed merges:
It's never used in a meaningful way.
Because they are small and hot.
@kennytm
Copy link
Member

kennytm commented May 31, 2018

@bors r=michaelwoerister

@bors
Copy link
Contributor

bors commented May 31, 2018

📌 Commit a5ffcf6 has been approved by michaelwoerister

@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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels May 31, 2018
@bors
Copy link
Contributor

bors commented May 31, 2018

⌛ Testing commit a5ffcf6 with merge ae2f299...

bors added a commit that referenced this pull request May 31, 2018
Two minor `obligation_forest` tweaks.

Pretty minimal improvements, but improvements nonetheless.
@bors
Copy link
Contributor

bors commented May 31, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: michaelwoerister
Pushing ae2f299 to master...

@bors bors merged commit a5ffcf6 into rust-lang:master May 31, 2018
@nnethercote nnethercote deleted the obligations-2 branch May 31, 2018 20:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants