Skip to content

layout.might_permit_raw_init supports additional checks #1273

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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