Skip to content

avoid Scalar::is_null_ptr, it is going away #825

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 2 commits into from
Jul 5, 2019
Merged

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Jul 5, 2019

Comparing pointers should be done more carefully than that

@RalfJung
Copy link
Member Author

RalfJung commented Jul 5, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Jul 5, 2019

📌 Commit 698b311 has been approved by RalfJung

Centril added a commit to Centril/rust that referenced this pull request Jul 5, 2019
remove Scalar::is_null_ptr

Comparing pointers should be done more carefully than that. With rust-lang/miri#825, Miri does not need it any more and it is otherwise unused.
@bors
Copy link
Contributor

bors commented Jul 5, 2019

⌛ Testing commit 698b311 with merge 16d791b...

bors added a commit that referenced this pull request Jul 5, 2019
avoid Scalar::is_null_ptr, it is going away

Comparing pointers should be done more carefully than that
@bors
Copy link
Contributor

bors commented Jul 5, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing 16d791b to master...

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants