Matthias Krüger 012ce8ae98 Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnr ... Normalize type outlives obligations in NLL for new solver Normalize the type outlives assumptions and obligations in MIR borrowck. This should fix any of the lazy-norm-related MIR borrowck problems. Also some cleanups from last PR: 1. Normalize obligations in a loop in lexical region resolution 2. Use `deeply_normalize_with_skipped_universes` in lexical resolution since we may have, e.g. `for<'a> Alias<'a>: 'b`. r? lcnr		2024-02-06 22:45:43 +01:00
..
constraints	Replace no_ord_impl with orderable.	2023-11-22 18:38:17 +11:00
diagnostics	Teach typeck/borrowck/solvers how to deal with async closures	2024-02-06 02:22:58 +00:00
polonius	compiler: Lower fn call arg spans down to MIR	2024-01-15 19:07:11 +01:00
region_infer	Auto merge of #120003 - Mark-Simulacrum:opt-promoted, r=davidtwco	2024-01-20 11:21:28 +00:00
type_check	Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnr	2024-02-06 22:45:43 +01:00
util	Move some utils out of rustc_const_eval	2023-04-16 12:05:54 +02:00
borrow_set.rs	Fix clippy::needless_borrow in the compiler	2023-11-21 20:13:40 +01:00
borrowck_errors.rs	Remove BorrowckErrors::tainted_by_errors.	2024-02-02 14:35:46 +11:00
consumers.rs	Fix redundant explicit link in rustc_borrowck	2023-08-19 02:22:13 +08:00
dataflow.rs	remove redundant imports	2023-12-10 10:56:22 +08:00
def_use.rs	rename BorrowKind::Shallow to Fake	2023-11-08 22:55:28 +01:00
facts.rs	introduce Polonius enum for -Zpolonius	2023-10-04 16:16:12 +00:00
lib.rs	Teach typeck/borrowck/solvers how to deal with async closures	2024-02-06 02:22:58 +00:00
location.rs	Replace no_ord_impl with orderable.	2023-11-22 18:38:17 +11:00
member_constraints.rs	remove unused muts	2023-04-28 20:19:48 +02:00
nll.rs	Rename BorrowckErrors as BorrowckDiags.	2024-02-02 14:35:51 +11:00
path_utils.rs	Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs	2024-02-06 02:22:58 +00:00
place_ext.rs	use PlaceRef abstractions more consistently	2023-06-25 20:38:01 -04:00
places_conflict.rs	rename BorrowKind::Shallow to Fake	2023-11-08 22:55:28 +01:00
prefixes.rs	Add docs, remove code, change subtyper code	2023-10-02 23:39:44 +03:00
renumber.rs	add fixme to RegionCtxt	2023-11-13 14:13:54 +00:00
session_diagnostics.rs	Stop using String for error codes.	2024-01-29 07:41:41 +11:00
universal_regions.rs	More comments, final tweaks	2024-02-06 02:22:58 +00:00
used_muts.rs	Fix clippy::needless_borrow in the compiler	2023-11-21 20:13:40 +01:00