rust/compiler/rustc_borrowck/src
Matthias Krüger 706dc70916
Rollup merge of #139668 - matthewjasper:upper-bound-fix, r=compiler-errors
Handle regions equivalent to 'static in non_local_bounds

`non_local_bounds` would only find non local bounds that strictly bound a given region, but it's possible that a local region is equated to 'static when showing a type referencing a locally bound lifetime, such as `dyn Any + 'a` in the tests added, is well-formed. In this case we should return 'static.

closes #122704
closes #139004
2025-05-22 16:02:26 +02:00
..
constraints Decouple SCC annotations from SCCs 2025-04-28 14:59:04 +02:00
diagnostics remove an unused codepath 2025-05-02 18:09:31 +02:00
polonius AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added. 2025-04-28 16:23:13 +07:00
region_infer fn check_opaque_type_parameter_valid defer error 2025-05-03 21:32:24 +00:00
type_check Rollup merge of #139668 - matthewjasper:upper-bound-fix, r=compiler-errors 2025-05-22 16:02:26 +02:00
borrow_set.rs rename BitSet to DenseBitSet 2025-01-11 11:34:01 +00:00
borrowck_errors.rs Use closure parse code 2025-03-06 17:58:32 -03:00
consumers.rs borrowck typeck children together with their parent 2025-04-08 00:34:40 +02:00
dataflow.rs move out of scope precomputer code 2025-01-12 07:39:20 +00:00
def_use.rs Visit place in BackwardIncompatibleDropHint statement 2025-04-13 22:01:54 +00:00
lib.rs update cfg(bootstrap) 2025-05-12 15:33:37 +02:00
member_constraints.rs Greatly simplify lifetime captures in edition 2024 2025-02-22 22:24:52 +00:00
nll.rs eagerly initialize definitions in sub-fn 2025-04-11 15:18:30 +02: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 Implement MIR, CTFE, and codegen for unsafe binders 2025-01-31 17:19:53 +00:00
prefixes.rs Implement MIR, CTFE, and codegen for unsafe binders 2025-01-31 17:19:53 +00:00
renumber.rs Squash fold into ty 2025-03-15 06:34:36 +00:00
root_cx.rs borrowck nested items in dead code 2025-05-02 18:45:28 +00:00
session_diagnostics.rs move check_opaque_type_parameter_valid 2025-04-03 11:13:10 +02:00
universal_regions.rs remove redundant fields 2025-04-11 15:18:29 +02:00
used_muts.rs Remove unnecessary lifetimes in dataflow structs. 2024-09-09 16:14:18 +10:00