Skip to content

Editorial changes to UB page - #2351

Open
RalfJung wants to merge 3 commits into
rust-lang:masterfrom
RalfJung:ub-editorials
Open

Editorial changes to UB page#2351
RalfJung wants to merge 3 commits into
rust-lang:masterfrom
RalfJung:ub-editorials

Conversation

@RalfJung

@RalfJung RalfJung commented Sep 6, 2026

Copy link
Copy Markdown
Member

See the individual commits.

Fixes #2008

@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Sep 6, 2026

r[undefined.validity.struct]
* A `struct`, tuple, and array requires all fields/elements to be valid at their respective type.
* A `struct`, tuple, or array requires all fields/elements to be valid at their respective type.

@RalfJung RalfJung Sep 6, 2026

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We say "or" in a similar situation above ("an integer, float, or raw pointer").

Given that this is singular, saying "a struct, tuple, and array" sounds a bit like we are requiring it to be all three things at once.

View changes since the review

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

Labels

S-waiting-on-review Status: The marked PR is awaiting review from a maintainer

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[undefined.validity.union] dyn Trait raw pointer is subject to debate.. where's the debate?

2 participants