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

Remove all uses of to_ptr #1114

Merged
merged 1 commit into from
Dec 27, 2019
Merged

Remove all uses of to_ptr #1114

merged 1 commit into from
Dec 27, 2019

Conversation

oli-obk
Copy link
Contributor

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

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

src/shims/env.rs Outdated Show resolved Hide resolved
@bors
Copy link
Collaborator

bors commented Dec 23, 2019

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

@RalfJung
Copy link
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
Copy link
Contributor Author

oli-obk commented Dec 24, 2019

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
Copy link
Contributor Author

oli-obk commented Dec 27, 2019

@bors r+

@bors
Copy link
Collaborator

bors commented Dec 27, 2019

📌 Commit 4aef81e has been approved by oli-obk

@bors
Copy link
Collaborator

bors commented Dec 27, 2019

⌛ 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
Copy link
Collaborator

bors commented Dec 27, 2019

☀️ 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.

None yet

3 participants