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

Use a bit less NonNull::new_unchecked #501

Merged
merged 1 commit into from
Feb 12, 2024

Conversation

saethlin
Copy link
Member

Using NonNull::cast instead of NonNull::new_unchecked is a bit less unsafe code, and it may provide a small improvement to compile times since rust-lang/rust#120594

@saethlin
Copy link
Member Author

This project's CI is broken due to a dependency on a previous version of itself. Well ain't that something.

@Amanieu
Copy link
Member

Amanieu commented Feb 12, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Feb 12, 2024

📌 Commit 46f1afc has been approved by Amanieu

It is now in the queue for this repository.

bors added a commit that referenced this pull request Feb 12, 2024
Use a bit less NonNull::new_unchecked

Using `NonNull::cast` instead of `NonNull::new_unchecked` is a bit less unsafe code, and it may provide a small improvement to compile times since rust-lang/rust#120594
@bors
Copy link
Contributor

bors commented Feb 12, 2024

⌛ Testing commit 46f1afc with merge cf82944...

@bors
Copy link
Contributor

bors commented Feb 12, 2024

💔 Test failed - checks-actions

@bors
Copy link
Contributor

bors commented Feb 12, 2024

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

@Amanieu
Copy link
Member

Amanieu commented Feb 12, 2024

I fixed the CI separately in #502, can you rebase?

@saethlin
Copy link
Member Author

Rebased!

@Amanieu
Copy link
Member

Amanieu commented Feb 12, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Feb 12, 2024

📌 Commit 87d58ec has been approved by Amanieu

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 12, 2024

⌛ Testing commit 87d58ec with merge d563de1...

@bors
Copy link
Contributor

bors commented Feb 12, 2024

☀️ Test successful - checks-actions
Approved by: Amanieu
Pushing d563de1 to master...

@bors bors merged commit d563de1 into rust-lang:master Feb 12, 2024
26 checks passed
@saethlin saethlin deleted the less-unchecked branch February 12, 2024 19:35
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