rust/compiler/rustc_const_eval/src/interpret
bors c62b732724 Auto merge of #135709 - lqd:bring-back-len, r=compiler-errors
Temporarily bring back `Rvalue::Len`

r? `@compiler-errors` as requested in https://github.com/rust-lang/rust/issues/135671#issuecomment-2599580364

> However, in the mean time, I'd rather we not crunch trying to find and more importantly validate the soundness of a solution 🤔

Agreed. To fix the IMO P-critical #135671 for which we somehow didn't have test coverage, this PR temporarily reverts:
- https://github.com/rust-lang/rust/pull/133734
- its bugfix https://github.com/rust-lang/rust/pull/134371
- https://github.com/rust-lang/rust/pull/134330

cc `@scottmcm`

I added the few samples from that issue as a test, but we can add more in the future, in particular it seems `@steffahn` [will work on that](https://github.com/rust-lang/rust/issues/135671#issuecomment-2599714354).

Fixes #135671. And if we want to land this, it should also be nominated for beta backport.
2025-01-19 06:09:51 +00:00
..
call.rs rustc_intrinsic: support functions without body; they are implicitly marked as must-be-overridden 2025-01-04 11:41:51 +01:00
cast.rs Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJung 2024-12-06 09:27:39 +01:00
discriminant.rs make no-variant types a dedicated Variants variant 2024-12-18 11:01:54 +01:00
eval_context.rs fix ICE on type error in promoted 2024-12-09 15:17:26 +01:00
intern.rs InterpCx store TypingEnv instead of a ParamEnv 2024-11-19 21:36:23 +01:00
intrinsics.rs swap_typed_nonoverlapping: properly detect overlap even when swapping scalar values 2024-12-25 16:01:26 +01:00
machine.rs Pass FnAbi to find_mir_or_eval_fn 2024-12-19 14:10:37 +00:00
memory.rs const-eval: detect more pointers as definitely not-null 2025-01-18 08:51:28 +01:00
mod.rs make return type of get_alloc_info a struct, and reduce some code duplication with validity checking 2024-11-09 15:18:52 +01:00
operand.rs Avoid naming variables str 2025-01-07 14:30:02 +02:00
operator.rs Re-export more rustc_span::symbol things from rustc_span. 2024-12-18 13:38:53 +11:00
place.rs Avoid naming variables str 2025-01-07 14:30:02 +02:00
projection.rs Use field init shorthand where possible 2024-12-17 14:33:10 -08:00
stack.rs Begin to implement type system layer of unsafe binders 2024-12-22 21:57:57 +00:00
step.rs Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,RalfJung" 2025-01-18 22:09:35 +00:00
traits.rs compiler: Directly use rustc_abi in const_eval 2024-11-03 13:38:47 -08:00
util.rs Remove polymorphization 2024-12-06 16:42:09 -05:00
validity.rs Begin to implement type system layer of unsafe binders 2024-12-22 21:57:57 +00:00
visitor.rs make no-variant types a dedicated Variants variant 2024-12-18 11:01:54 +01:00