Guillaume Gomez cd8132bfab Rollup merge of #111983 - compiler-errors:type-op-locally, r=lcnr ... Perform MIR type ops locally in new solver The new solver already does caching, and it's generally more correct to be using the infcx of the MIR typeck (which has the defining anchor set correctly and has already initialized all the opaques from HIR typeck). This is based on #111918 so look at the final 3 commits. This actually causes some tests to go from passing to failing, and failing to passing. Here's the full diff: https://www.diffchecker.com/hB4bh1A9/ Putting this up for exposure mostly. r? `@lcnr`		2023-05-27 13:38:32 +02:00
..
constraints	Split {Idx, IndexVec, IndexSlice} into their own modules	2023-04-24 13:53:35 +00:00
diagnostics	Remove DesugaringKind::Replace.	2023-05-25 17:40:46 +00:00
region_infer	Move DefiningAnchor	2023-05-25 03:21:21 +00:00
type_check	Uplift complex type ops back into typeck so we can call them locally	2023-05-27 04:13:44 +00:00
util	Move some utils out of rustc_const_eval	2023-04-16 12:05:54 +02:00
borrow_set.rs	Allow consumers to retrieve borrowck output	2023-05-23 13:11:23 +02:00
borrowck_errors.rs	Add #[track_caller] to struct_span_err_with_code (drive-by cleanup)	2023-04-19 19:10:37 +00:00
constraint_generation.rs	Remove ToRegionVid.	2023-04-13 12:20:41 +10:00
consumers.rs	Move DefiningAnchor	2023-05-25 03:21:21 +00:00
dataflow.rs	Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearth	2023-05-25 00:33:43 +00:00
def_use.rs	Make NonUseContext::AscribeUserTy carry ty::Variance	2023-05-10 09:54:56 +03:00
facts.rs	Various minor Idx-related tweaks	2023-04-16 02:42:50 -07:00
invalidation.rs	Remove DesugaringKind::Replace.	2023-05-25 17:40:46 +00:00
lib.rs	Remove DesugaringKind::Replace.	2023-05-25 17:40:46 +00:00
location.rs	Split {Idx, IndexVec, IndexSlice} into their own modules	2023-04-24 13:53:35 +00:00
member_constraints.rs	remove unused muts	2023-04-28 20:19:48 +02:00
nll.rs	Allow consumers to retrieve borrowck output	2023-05-23 13:11:23 +02:00
path_utils.rs	Move mir::Field → abi::FieldIdx	2023-03-28 22:22:37 -07:00
place_ext.rs	Allow consumers to retrieve borrowck output	2023-05-23 13:11:23 +02:00
places_conflict.rs	Allow consumers to retrieve borrowck output	2023-05-23 13:11:23 +02:00
prefixes.rs	lint auto pass	2022-11-09 20:42:16 +08:00
renumber.rs	check array type of repeat exprs is wf	2023-05-04 11:22:40 +01:00
session_diagnostics.rs	Don't call await a method	2023-04-27 17:18:12 +00:00
universal_regions.rs	Restrict From<S> for {D,Subd}iagnosticMessage.	2023-05-03 08:44:39 +10:00
used_muts.rs	Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiasko	2023-03-08 21:26:51 +01:00