rust/compiler/rustc_middle/src/mir/syntax.rs, branch cargo_update

Remove Rvalue::Len.

2025-09-16T22:23:19+00:00

clarify current MIR semantics re: overlapping assignment

2025-09-10T13:59:11+00:00

and double-check that we match it in codegen

Remove bug comments from Repeat variant

2025-08-25T06:49:10+00:00

Removed comments related to a bug in Repeat variant.

setup CI and tidy to use typos for spellchecking and fix few typos

2025-07-03T07:51:06+00:00

Rollup merge of #143088 - firefighterduck:improve-doc-discr-tag, r=RalfJung

2025-06-29T04:59:30+00:00

Improve documentation of `TagEncoding` This PR is follow-up from the [discussion here](https://rust-lang.zulipchat.com/#narrow/channel/182449-t-compiler.2Fhelp/topic/.E2.9C.94.20VariantId.3DDiscriminant.20when.20tag.20is.20niche.20encoded.3F/with/524384295). It aims at making the `TagEncoding` documentation less ambiguous and more detailed with references to relevant implementation sides. It especially clears up the ambiguous use of discriminant/variant index, which sparked the discussion referenced above. PS: While working with layout data, I somehow ended up looking at the docs for `FakeBorrowKind` and noticed that the one example was not in a doc comment. I hope that this is minor enough of a fix for it to be okay in this otherwise unrelated PR.

fix docs of FakeBorrowKind

2025-06-28T11:54:51+00:00

Auto merge of #141759 - 1c3t3a:discriminants-query, r=saethlin

2025-06-28T10:25:00+00:00

Insert checks for enum discriminants when debug assertions are enabled Similar to the existing null-pointer and alignment checks, this checks for valid enum discriminants on creation of enums through unsafe transmutes. Essentially this sanitizes patterns like the following: ```rust let val: MyEnum = unsafe { std::mem::transmute(42) }; ``` An extension of this check will be done in a follow-up that explicitly sanitizes for extern enum values that come into Rust from e.g. C/C++. This check is similar to Miri's capabilities of checking for valid construction of enum values. This PR is inspired by saethlin@'s PR https://github.com/rust-lang/rust/pull/104862. Thank you so much for keeping this code up and the detailed comments! I also pair-programmed large parts of this together with vabr-g@. r? `@saethlin`

Insert checks for enum discriminants when debug assertions are enabled

2025-06-27T09:37:36+00:00

Similar to the existing nullpointer and alignment checks, this checks for valid enum discriminants on creation of enums through unsafe transmutes. Essentially this sanitizes patterns like the following: ```rust let val: MyEnum = unsafe { std::mem::transmute(42) }; ``` An extension of this check will be done in a follow-up that explicitly sanitizes for extern enum values that come into Rust from e.g. C/C++. This check is similar to Miri's capabilities of checking for valid construction of enum values. This PR is inspired by saethlin@'s PR https://github.com/rust-lang/rust/pull/104862. Thank you so much for keeping this code up and the detailed comments! I also pair-programmed large parts of this together with vabr-g@.

Unimplement unsized_locals

2025-06-12T23:16:36+00:00

Allow transmute casts in pre-runtime-MIR

2025-06-06T16:19:38+00:00