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

update FnCtxt::lookup_method docs #71122

Merged
merged 1 commit into from
Apr 14, 2020
Merged

update FnCtxt::lookup_method docs #71122

merged 1 commit into from
Apr 14, 2020

Conversation

lcnr
Copy link
Contributor

@lcnr lcnr commented Apr 14, 2020

Looks like the doc comment was forgotten during a refactor.

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 14, 2020
@Mark-Simulacrum
Copy link
Member

@bors r+ rollup

Thanks!

@bors
Copy link
Contributor

bors commented Apr 14, 2020

📌 Commit 723def2 has been approved by Mark-Simulacrum

@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 Apr 14, 2020
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 14, 2020
Rollup of 5 pull requests

Successful merges:

 - rust-lang#71112 (Remove the last remnant of unsigned Neg)
 - rust-lang#71120 (Clean up E0517 explanation)
 - rust-lang#71121 (Fix broken link in documentation for String::from_utf8)
 - rust-lang#71122 (update `FnCtxt::lookup_method` docs)
 - rust-lang#71124 (Add missing comma)

Failed merges:

r? @ghost
@bors bors merged commit d249f67 into rust-lang:master Apr 14, 2020
@lcnr lcnr deleted the update-docs branch April 14, 2020 17:33
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.

4 participants