Matthias Krüger ad7aabd965 Rollup merge of #119563 - compiler-errors:coroutine-resume, r=oli-obk ... Check yield terminator's resume type in borrowck In borrowck, we didn't check that the lifetimes of the `TerminatorKind::Yield`'s `resume_place` were actually compatible with the coroutine's signature. That means that the lifetimes were totally going unchecked. Whoops! This PR implements this checking. Fixes #119564 r? types		2024-01-05 20:39:53 +01:00
..
constraints	Replace no_ord_impl with orderable.	2023-11-22 18:38:17 +11:00
diagnostics	Remove hir::Guard	2024-01-05 10:56:59 +00:00
polonius	move remaining legacy polonius fact generation out of NLL module	2023-11-26 13:03:32 +00:00
region_infer	Remove Session methods that duplicate DiagCtxt methods.	2023-12-24 08:05:28 +11:00
type_check	Check yield terminator's resume type in borrowck	2024-01-04 01:47:56 +00:00
util
borrow_set.rs	Fix clippy::needless_borrow in the compiler	2023-11-21 20:13:40 +01:00
borrowck_errors.rs	Remove MirBorrowckCtxt methods that duplicate DiagCtxt methods.	2023-12-24 08:17:46 +11:00
consumers.rs
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
lib.rs	Movability doesn't need to be a query anymore	2023-12-28 16:35:01 +00:00
location.rs	Replace no_ord_impl with orderable.	2023-11-22 18:38:17 +11:00
member_constraints.rs
nll.rs	Remove Session methods that duplicate DiagCtxt methods.	2023-12-24 08:05:28 +11:00
path_utils.rs	Remove Upvar duplication	2023-11-26 13:19:10 -05:00
place_ext.rs
places_conflict.rs	rename BorrowKind::Shallow to Fake	2023-11-08 22:55:28 +01:00
prefixes.rs
renumber.rs	add fixme to RegionCtxt	2023-11-13 14:13:54 +00:00
session_diagnostics.rs
universal_regions.rs	Check yield terminator's resume type in borrowck	2024-01-04 01:47:56 +00:00
used_muts.rs	Fix clippy::needless_borrow in the compiler	2023-11-21 20:13:40 +01:00