Ban projecting into SIMD types [MCP838] by scottmcm · Pull Request #143833

Ban projecting into SIMD types [MCP838] by scottmcm · Pull Request #143833 · rust-lang/rust

added S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

T-compiler

Relevant to the compiler team, which will review and decide on the PR/issue.

labels

Jul 12, 2025

scottmcm marked this pull request as ready for review

July 13, 2025 19:47

rustbot added S-waiting-on-review

Status: Awaiting review from the assignee but also interested parties.

and removed S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

labels

Jul 13, 2025

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

Jul 16, 2025

fmease added a commit to fmease/rust that referenced this pull request

Jul 17, 2025

…-errors

Ban projecting into SIMD types [MCP838]

Closes rust-lang/compiler-team#838

The actual compiler change here is tiny; there's just a bazillion tests to update.

Since I'm sure I've missed some, for now
r? ghost

fmease added a commit to fmease/rust that referenced this pull request

Jul 17, 2025

…-errors

Ban projecting into SIMD types [MCP838]

Closes rust-lang/compiler-team#838

The actual compiler change here is tiny; there's just a bazillion tests to update.

Since I'm sure I've missed some, for now
r? ghost

bors added a commit that referenced this pull request

Jul 20, 2025

Ban projecting into SIMD types [MCP838]

Closes rust-lang/compiler-team#838

The actual compiler change here is tiny; there's just a bazillion tests to update.

~~Since I'm sure I've missed some, for now~~
~~r ghost~~

try-job: test-various
try-job: x86_64-gnu-nopt

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-author

Status: This is awaiting some action (such as code changes or more information) from the author.

labels

Jul 20, 2025

github-actions bot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request

Jul 21, 2025

…r=RalfJung

Give a message with a span on MIR validation error

It was handy to get a source+line link for rust-lang/rust#143833, even if it's just to the function and not necessarily to the statement.

r? mir

github-actions bot pushed a commit to rust-lang/miri that referenced this pull request

Jul 21, 2025

…r=RalfJung

Give a message with a span on MIR validation error

It was handy to get a source+line link for rust-lang/rust#143833, even if it's just to the function and not necessarily to the statement.

r? mir

Muscraft pushed a commit to Muscraft/rust that referenced this pull request

Jul 21, 2025

…idation, r=RalfJung

Give a message with a span on MIR validation error

It was handy to get a source+line link for rust-lang#143833, even if it's just to the function and not necessarily to the statement.

r? mir

Muscraft pushed a commit to Muscraft/rust that referenced this pull request

Jul 21, 2025

…rrors

Ban projecting into SIMD types [MCP838]

Closes rust-lang/compiler-team#838

The actual compiler change here is tiny; there's just a bazillion tests to update.

~~Since I'm sure I've missed some, for now~~
~~r ghost~~

try-job: test-various
try-job: x86_64-gnu-nopt

tautschnig added a commit to tautschnig/kani that referenced this pull request

Jul 29, 2025

github-merge-queue bot pushed a commit to model-checking/kani that referenced this pull request

Jul 29, 2025

Relevant upstream PR:
- rust-lang/rust#143833 (Ban projecting into
SIMD types [MCP838])

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.