Ali MJ Al-Nasrawy c6a17bf8bc make ascribe_user_type a TypeOp ... Projection types in user annotations may contain inference variables. This makes the normalization depend on the unification with the actual type and thus requires a separate TypeOp to track the obligations. Otherwise simply calling `TypeChecker::normalize` would ICE with "unexpected ambiguity"		2023-01-07 13:41:41 +03:00
..
constraints	Auto merge of #105880 - Nilstrieb:make-newtypes-less-not-rust, r=oli-obk	2022-12-20 07:27:01 +00:00
diagnostics	Suggests adding named lifetime when the return contains value borrowed from more than one lifetimes of the function's inputs	2023-01-05 21:09:27 -08:00
region_infer	Hackily fix an opaque type ICE	2022-12-20 13:43:41 +00:00
type_check	make ascribe_user_type a TypeOp	2023-01-07 13:41:41 +03:00
borrow_set.rs	rustc_borrowck: remove ref patterns	2022-12-06 14:45:58 +00:00
borrowck_errors.rs	Merge multiple mutable borrows of immutable binding errors	2023-01-01 10:09:26 -08:00
constraint_generation.rs	lint auto pass	2022-11-09 20:42:16 +08:00
consumers.rs	rustc: Remove needless lifetimes	2022-12-20 22:10:40 +01:00
dataflow.rs	A few small cleanups for newtype_index	2022-12-18 21:47:28 +01:00
def_use.rs	lint auto pass	2022-11-09 20:42:16 +08:00
facts.rs	lint auto pass	2022-11-09 20:42:16 +08:00
invalidation.rs	Remove unneeded field from SwitchTargets	2022-12-09 04:53:10 -08:00
lib.rs	Merge borrowck permission checks	2023-01-04 15:25:45 +01:00
location.rs	A few small cleanups for newtype_index	2022-12-18 21:47:28 +01:00
member_constraints.rs	A few small cleanups for newtype_index	2022-12-18 21:47:28 +01:00
nll.rs	Create format_args as late as possible	2022-12-01 08:49:51 +00:00
path_utils.rs	lint auto pass	2022-11-09 20:42:16 +08:00
place_ext.rs	lint auto pass	2022-11-09 20:42:16 +08:00
places_conflict.rs	OpaqueCast projections are always overlapping, they can't possibly be disjoint	2022-11-23 14:37:13 +00:00
prefixes.rs	lint auto pass	2022-11-09 20:42:16 +08:00
renumber.rs	lint auto pass	2022-11-09 20:42:16 +08:00
session_diagnostics.rs	struct error E0505	2022-11-09 21:15:31 +08:00
universal_regions.rs	rustc_borrowck: remove ref patterns	2022-12-06 14:45:58 +00:00
used_muts.rs	lint auto pass	2022-11-09 20:42:16 +08:00