rust/compiler/rustc_borrowck/src
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
..
constraints Reduce visibilities. 2024-11-04 15:43:45 +11:00
diagnostics Assert that Instance::try_resolve is only used on body-like things 2025-01-13 02:20:08 +00:00
polonius Auto merge of #135709 - lqd:bring-back-len, r=compiler-errors 2025-01-19 06:09:51 +00:00
region_infer Rollup merge of #134980 - lqd:polonius-next-episode-7, r=jackh726 2025-01-17 09:11:17 +01:00
type_check Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper" 2025-01-18 22:09:34 +00:00
borrow_set.rs rename BitSet to DenseBitSet 2025-01-11 11:34:01 +00:00
borrowck_errors.rs Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
consumers.rs rename AllFacts to PoloniusFacts 2025-01-08 13:23:54 +00:00
dataflow.rs move out of scope precomputer code 2025-01-12 07:39:20 +00:00
def_use.rs Rollup merge of #126013 - nnethercote:unreachable_pub, r=Urgau 2024-08-27 00:41:57 +02:00
lib.rs Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper" 2025-01-18 22:09:34 +00:00
member_constraints.rs remove non-borrowck member constraints 2024-12-20 10:04:01 +01:00
nll.rs replace location-insensitive analysis with location-sensitive analysis 2025-01-12 07:29:03 +00:00
path_utils.rs remove borrowck duplicate of std::ops::ControlFlow 2025-01-01 12:13:33 +00:00
place_ext.rs Remove #[macro_use] extern crate tracing from rustc_borrowck. 2024-08-30 17:14:53 +10:00
places_conflict.rs Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper" 2025-01-18 22:09:34 +00:00
prefixes.rs Remove unnecessary continue. 2024-11-04 17:36:25 +11:00
renumber.rs mir borrowck: cleanup late-bound region handling 2025-01-14 14:16:12 +01:00
session_diagnostics.rs run borrowck tests on BIDs and emit tail-expr-drop-order lints for 2025-01-08 15:58:09 +00:00
universal_regions.rs mir borrowck: cleanup late-bound region handling 2025-01-14 14:16:12 +01:00
used_muts.rs Remove unnecessary lifetimes in dataflow structs. 2024-09-09 16:14:18 +10:00