diff options
| author | bors <bors@rust-lang.org> | 2023-06-28 23:58:28 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-06-28 23:58:28 +0000 |
| commit | 75726cae37317c7262b69d3e9fd11a3496a88d04 (patch) | |
| tree | 5a8d4dfed7e7dfa898c3592d5b57aa7bf1c59484 /compiler/rustc_plugin_impl/src | |
| parent | 5bd28f5eac1ba3569bfa8d49ec3f5acbdfdff7a0 (diff) | |
| parent | de0e7d32fda38cde6f604df76e72bd6f26cea8ab (diff) | |
| download | rust-75726cae37317c7262b69d3e9fd11a3496a88d04.tar.gz rust-75726cae37317c7262b69d3e9fd11a3496a88d04.zip | |
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
Diffstat (limited to 'compiler/rustc_plugin_impl/src')
0 files changed, 0 insertions, 0 deletions