Auto merge of #112629 - compiler-errors:atb-imply, r=jackh726

Browse source

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

...

This commit is contained in:

bors 2023-06-28 23:58:28 +00:00

parent 80ef3b4684 6658d8ae9f

commit 670a4b5292

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

Diff content is not available