Guillaume Gomez bdbf1c631a Rollup merge of #140672 - compiler-errors:deeply-normalize, r=lcnr ... Deeply normalize in the new solver in WF We need to deeply normalize types we check for well-formedness, since we only collect implied bounds from normalized signature types. Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/194 r? lcnr		2025-05-05 21:32:35 +02:00
..
check	Deeply normalize in the new solver in WF	2025-05-05 15:52:38 +00:00
coherence	Remove weak alias terminology	2025-04-24 11:59:20 +01:00
collect	Auto merge of #140453 - Zoxc:next-disambiguator, r=oli-obk	2025-05-05 11:50:43 +00:00
errors	Don't compute name of associated item if it's an RPITIT	2025-04-20 16:08:39 +00:00
hir_ty_lowering	resolve: Support imports of associated types and glob imports from traits	2025-05-02 15:59:38 +03:00
impl_wf_check	convert some GenericArg to Term	2025-04-26 02:05:31 +00:00
outlives	Remove weak alias terminology	2025-04-24 11:59:20 +01:00
variance	Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwU	2025-04-29 12:28:22 -04:00
autoderef.rs	respect the tcx's recursion limit when peeling	2025-04-16 15:42:12 -07:00
check_unused.rs	Move methods from Map to TyCtxt, part 4.	2025-03-12 08:55:37 +11:00
collect.rs	Move has_self field to hir::AssocKind::Fn.	2025-04-14 16:13:04 +10:00
constrained_generic_params.rs	Remove weak alias terminology	2025-04-24 11:59:20 +01:00
delegation.rs	Stop relying on rustc_type_ir in non-type-system crates	2025-03-15 06:42:48 +00:00
errors.rs	Move inline_asm to typeck, properly handle aliases	2025-04-27 22:05:07 +00:00
hir_wf_check.rs	Don't construct preds w escaping bound vars in diagnostic_hir_wf_check	2025-04-04 21:09:32 +00:00
impl_wf_check.rs	Move name field from AssocItem to AssocKind variants.	2025-04-15 08:07:15 +10:00
lib.rs	Rename Instance::new to Instance::new_raw and add a note that it is raw	2025-05-05 13:17:35 +00:00