bors 75726cae37 Auto merge of #112629 - compiler-errors:atb-imply, r=jackh726 ... Make associated type bounds in supertrait position implied `trait A: B<Assoc: C> {}` should be able to imply both `Self: B` and `<Self as B>::Assoc: C`. Adjust the way that we collect implied predicates to do so. Fixes #112573 Fixes #112568		2023-06-28 23:58:28 +00:00
..
astconv	pass PredicateFilter to compute_bounds	2023-06-27 18:28:27 +00:00
check	Migrate predicates_of and caller_bounds to Clause	2023-06-26 23:12:03 +00:00
coherence	Simplify some conditions	2023-06-27 07:40:47 +00:00
collect	pass PredicateFilter to compute_bounds	2023-06-27 18:28:27 +00:00
impl_wf_check	TypeWellFormedInEnv	2023-06-26 23:12:04 +00:00
outlives	TypeWellFormedInEnv	2023-06-26 23:12:04 +00:00
structured_errors	Use Option::is_some_and and Result::is_ok_and in the compiler	2023-05-24 14:20:41 +00:00
variance	Migrate item_bounds to ty::Clause	2023-06-22 18:34:23 +00:00
autoderef.rs	Make TraitEngine::new use the right solver, add compare mode	2023-06-06 18:43:20 +00:00
bounds.rs	Fully fledged Clause type	2023-06-19 15:46:08 +00:00
check_unused.rs	Remove last instances of HashSet in query result types.	2023-03-01 10:20:45 +01:00
collect.rs	Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr	2023-06-20 08:42:37 +00:00
constrained_generic_params.rs	Migrate predicates_of and caller_bounds to Clause	2023-06-26 23:12:03 +00:00
errors.rs	Emit an error when RTN is used with ty/ct params	2023-06-05 19:52:04 +00:00
hir_wf_check.rs	s/Clause/ClauseKind	2023-06-19 14:57:42 +00:00
impl_wf_check.rs	Error on unconstrained lifetime in RPITIT	2023-06-14 05:20:31 +00:00
lib.rs	remove hash_drain_filter feature uses	2023-06-14 09:28:56 +02:00
structured_errors.rs	rustc_typeck to rustc_hir_analysis	2022-09-27 10:37:23 +02:00