Matthias Krüger 02b89d1676 Rollup merge of #122172 - compiler-errors:rpitit-collect-ice, r=fmease ... Don't ICE if we collect no RPITITs unless there are no unification errors Move an assertion in `collect_return_position_impl_trait_in_trait_tys` to after the `ObligationCtxt::eq` calls, so that we only assert and ICE if we have unification errors. Fixes #121468		2024-03-08 21:02:03 +01:00
..
astconv	Rollup merge of #122123 - compiler-errors:object-trait-alias-bounds, r=oli-obk	2024-03-07 15:07:09 +01:00
check	Rollup merge of #122172 - compiler-errors:rpitit-collect-ice, r=fmease	2024-03-08 21:02:03 +01:00
coherence	Apply EarlyBinder only to TraitRef in ImplTraitHeader	2024-03-07 13:56:29 +01:00
collect	Rollup merge of #122100 - compiler-errors:better-capture, r=oli-obk	2024-03-08 21:02:00 +01:00
impl_wf_check	Use expand_weak_alias_tys when collecting constrained generics params in impls	2024-02-20 17:31:59 +01:00
outlives	Auto merge of #120931 - chenyukang:yukang-cleanup-hashmap, r=michaelwoerister	2024-02-15 12:36:37 +00:00
structured_errors	Rename StructuredDiagnostic as StructuredDiag.	2024-03-05 12:15:12 +11:00
variance	Make TAITs capture all higher-ranked lifetimes in scope	2024-03-08 02:10:11 +00:00
autoderef.rs	fix ICE for deref coercions with type errors	2024-02-12 14:37:35 +01:00
bounds.rs	~const trait or projection bounds do not imply non-const bounds	2024-01-08 15:01:14 +00:00
check_unused.rs	Rename TyCtxt::struct_span_lint_hir as TyCtxt::node_span_lint.	2024-01-23 08:09:01 +11:00
collect.rs	Auto merge of #121500 - oli-obk:track_errors12, r=petrochenkov	2024-03-08 15:06:36 +00:00
constrained_generic_params.rs	Convert TypeVisitor and DefIdVisitor to use VisitorResult	2024-03-05 13:28:15 -05:00
errors.rs	Improve error message for opaque captures	2024-03-08 19:08:13 +00:00
hir_wf_check.rs	Remove Session methods that duplicate DiagCtxt methods.	2023-12-24 08:05:28 +11:00
impl_wf_check.rs	Merge check_mod_impl_wf and check_mod_type_wf	2024-03-07 06:27:09 +00:00
lib.rs	Merge collect_mod_item_types query into check_well_formed	2024-03-07 14:26:31 +00:00
structured_errors.rs	Rename StructuredDiagnostic as StructuredDiag.	2024-03-05 12:15:12 +11:00