rust/compiler/rustc_const_eval/src/const_eval/machine.rs, branch try

fix handling of base address for TypeId allocations

2025-07-20T20:14:27+00:00

parse `const trait Trait`

2025-07-17T10:06:26+00:00

simplfy memory kind handling during interning

2025-07-16T13:29:52+00:00

Comment more code and make tests clearer

2025-07-15T16:50:20+00:00

Co-Authored-By: Ralf Jung

add `const_make_global`; err for `const_allocate` ptrs if didn't call

2025-07-15T16:32:12+00:00

Co-Authored-By: Ralf Jung Co-Authored-By: Oli Scherer

make `Machine::load_mir` infallible

2025-07-07T11:57:04+00:00

it doesn't need to return an `InterpResult`.

miri: improve errors for type validity assertion failures

2025-07-02T15:47:46+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`

const-eval: error when initializing a static writes to that static

2025-06-27T12:39:35+00:00

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@.