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

Rollup of 7 pull requests #59964

Closed
wants to merge 22 commits into from
Closed

Conversation

Centril
Copy link
Contributor

@Centril Centril commented Apr 14, 2019

Successful merges:

Failed merges:

r? @ghost

Albin Stjerna and others added 22 commits April 10, 2019 22:44
…lementation

get_mut allows us to abstract over the implementation detail of inner being
optional.
Use a proc macro to declare preallocated symbols

r? @petrochenkov
update polonius-engine

This updates polonius-engine to [version 0.7.0](https://github.com/rust-lang/polonius/blob/master/RELEASES.md#v070), which adds a hybrid algorithm that starts off with performing a cheaper, location-insensitive analysis before proceeding with the full analysis.

r? @nikomatsakis
…in-pin-docs, r=RalfJung

Remove [mut] syntax in pin docs

Resolves rust-lang#59832
…nnytm

Make BufWriter use get_mut instead of manipulating inner in Write implementation

`get_mut` allows us to abstract over the implementation detail of inner being optional.
…ievink

Add missing backtick to Symbol documentation.
@Centril
Copy link
Contributor Author

Centril commented Apr 14, 2019

@bors r+ p=7

@bors
Copy link
Contributor

bors commented Apr 14, 2019

📌 Commit 02b02cf has been approved by Centril

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 14, 2019
@Centril Centril closed this Apr 14, 2019
@Centril Centril deleted the rollup-fupil6y branch April 14, 2019 15:27
@Centril Centril added the rollup A PR which is a rollup label Oct 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup 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