Skip to content

Remove all uses of to_ptr - #1114

Merged
bors merged 1 commit into
masterfrom
to_ptr_considered_harmful
Dec 27, 2019
Merged

bors merged 1 commit into
masterfrom
to_ptr_considered_harmful

Conversation

@oli-obk

@oli-obk oli-obk commented Dec 13, 2019

Copy link
Copy Markdown
Contributor

Also only works on top of rust-lang/rust#67192

Comment thread src/shims/foreign_items.rs Resolved
Comment thread src/shims/env.rs Resolved
@bors

bors commented Dec 23, 2019

Copy link
Copy Markdown
Contributor

☔ The latest upstream changes (presumably #1118) made this pull request unmergeable. Please resolve the merge conflicts.

@RalfJung

Copy link
Copy Markdown
Member

@oli-obk what is the plan with this one? to_ptr is still being made private by one of your upcoming PRs, right?

@oli-obk

oli-obk commented Dec 24, 2019

Copy link
Copy Markdown
Contributor Author

yea but there's no way to do this by landing something here first. We'll still get the breakage from the rustc PR so we may as well wait for the merger. I'll update this PR though to make all the changes so we can land it immediately

@oli-obk
oli-obk force-pushed the to_ptr_considered_harmful branch from ceaab16 to 4aef81e Compare December 27, 2019 13:26
@oli-obk

oli-obk commented Dec 27, 2019

Copy link
Copy Markdown
Contributor Author

@bors r+

@bors

bors commented Dec 27, 2019

Copy link
Copy Markdown
Contributor

📌 Commit 4aef81e has been approved by oli-obk

@bors

bors commented Dec 27, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 4aef81e with merge 34d8ec8...

bors added a commit that referenced this pull request Dec 27, 2019
Remove all uses of `to_ptr`

Also only works on top of rust-lang/rust#67192
@bors

bors commented Dec 27, 2019

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis, status-appveyor
Approved by: oli-obk
Pushing 34d8ec8 to master...

@bors
bors merged commit 4aef81e into master Dec 27, 2019
@RalfJung
RalfJung deleted the to_ptr_considered_harmful branch January 15, 2020 18:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants