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

…