Skip to content

assert_{inhabited,zero_valid,uninit_valid} intrinsics are safe#100487

Merged
bors merged 1 commit into
rust-lang:masterfrom
tmiasko:assert-safe
Aug 14, 2022
Merged

assert_{inhabited,zero_valid,uninit_valid} intrinsics are safe#100487
bors merged 1 commit into
rust-lang:masterfrom
tmiasko:assert-safe

Conversation

@tmiasko

@tmiasko tmiasko commented Aug 13, 2022

Copy link
Copy Markdown
Contributor

Those intrinsics either panic or do nothing. They are safe.

Those intrinsics either panic or do nothing. They are safe.
@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Aug 13, 2022
@rust-highfive

Copy link
Copy Markdown
Contributor

r? @petrochenkov

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 13, 2022
@Noratrieb

Copy link
Copy Markdown
Member

Neat, that will allow me to remove the unsafe from my wrappers around the intrinsics in #100423 :)

@petrochenkov

Copy link
Copy Markdown
Contributor

@bors r+

@bors

bors commented Aug 13, 2022

Copy link
Copy Markdown
Collaborator

📌 Commit 6b19a48 has been approved by petrochenkov

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 13, 2022
bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 14, 2022
Rollup of 6 pull requests

Successful merges:

 - rust-lang#99582 (Delay a span bug if we see ty/const generic params during writeback)
 - rust-lang#99861 (orphan check: rationalize our handling of constants)
 - rust-lang#100026 (Add `Iterator::array_chunks` (take N+1))
 - rust-lang#100115 (Suggest removing `let` if `const let` or `let const` is used)
 - rust-lang#100126 (rustc_target: Update some old naming around self contained linking)
 - rust-lang#100487 (`assert_{inhabited,zero_valid,uninit_valid}` intrinsics are safe)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 9de9786 into rust-lang:master Aug 14, 2022
@rustbot rustbot added this to the 1.65.0 milestone Aug 14, 2022
@tmiasko tmiasko deleted the assert-safe branch August 14, 2022 14:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants