Skip to content

layout.might_permit_raw_init supports additional checks #1273

@tedinski

Description

@tedinski

Rust's layout.might_permit_raw_init went from taking true/false flag to taking:

  1. InitKind::Zero, * which corresponds to the old true (and the intrinsic assert_zero_valid)
  2. InitKind::Uninit, false which corresponds to the old false (and the instrinsic assert_uninit_valid)
  3. InitKind::Uninit, false which adds an additional strict check. Unclear if we want it for something.

Upstream PR: rust-lang/rust#97323

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions