rust/compiler/rustc_borrowck/src
Matthias Krüger d10187f040
Rollup merge of #103780 - compiler-errors:bound-closure-lifetimes, r=jackh726
Fix late-bound lifetime closure ICEs in HIR typeck and MIR borrowck

During HIR typeck, we need to teach astconv to treat late-bound regions within a closure body as free, fixing escaping bound vars ICEs in both of the issues below.

However, this then gets us to MIR borrowck, which itself needs to be taught how to instantiate free region vids for late-bound regions that come from items that _aren't_ the typeck root (for now, just closures).

Fixes #103771
Fixes #103736
2022-11-04 12:18:01 +01:00
..
constraints Revert "Make ClosureOutlivesRequirement not rely on an unresolved type" 2022-10-27 16:15:11 +00:00
diagnostics Auto merge of #103590 - compiler-errors:ocx-more, r=lcnr 2022-11-01 12:15:10 +00:00
region_infer Collect late-bound regions from all closure parents in closure_mapping 2022-10-31 21:25:08 +00:00
type_check Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errors 2022-10-29 14:18:03 +02:00
borrow_set.rs cleanup mir visitor for rustc::pass_by_value 2022-07-01 16:21:21 +02:00
borrowck_errors.rs On partial uninit error point at where we need init 2022-07-07 12:25:55 -07:00
constraint_generation.rs Remove TypeckResults from InferCtxt 2022-10-07 07:06:19 -05:00
consumers.rs Change InferCtxtBuilder from enter to build 2022-10-07 07:10:40 -05:00
dataflow.rs Generalize the Assume intrinsic statement to a general Intrinsic statement 2022-09-06 14:18:32 +00:00
def_use.rs Add new MutatatingUseContexts for deinit and SetDiscriminant 2022-04-11 09:26:26 -04:00
facts.rs Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
invalidation.rs Generalize the Assume intrinsic statement to a general Intrinsic statement 2022-09-06 14:18:32 +00:00
lib.rs Change InferCtxtBuilder from enter to build 2022-10-07 07:10:40 -05:00
location.rs Avoid Iterator::last 2022-09-11 17:23:00 +02:00
member_constraints.rs Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
nll.rs Remove TypeckResults from InferCtxt 2022-10-07 07:06:19 -05:00
path_utils.rs Remove in_band_lifetimes from borrowck 2021-12-15 08:39:21 +01:00
place_ext.rs Remove crate visibility usage in compiler 2022-05-20 20:04:54 -04:00
places_conflict.rs Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"" 2022-09-16 11:36:39 +00:00
prefixes.rs Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"" 2022-09-16 11:36:39 +00:00
renumber.rs mir constants: type traversing bye bye 2022-10-17 10:54:01 +02:00
session_diagnostics.rs Convert all #[suggestion_*] attributes to #[suggestion(style = "...")] 2022-10-26 15:04:09 +02:00
universal_regions.rs Add bug! back to late_bound_vars query 2022-10-31 21:25:08 +00:00
used_muts.rs cleanup mir visitor for rustc::pass_by_value 2022-07-01 16:21:21 +02:00