diff options
| author | bors <bors@rust-lang.org> | 2023-05-07 11:18:22 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-05-07 11:18:22 +0000 |
| commit | 0dddad0dc5d614f799d7e04de4895e7a7418eccb (patch) | |
| tree | c9d6db616e9b3a2d0259767a10a52f011564b9df /tests/rustdoc-js-std/parser-errors.js | |
| parent | 8660707bb22b2fa0ef6e2d37c60da20d9cf3d7b9 (diff) | |
| parent | 76802e31a131d2ac5933b8283a292735b6ab8366 (diff) | |
| download | rust-0dddad0dc5d614f799d7e04de4895e7a7418eccb.tar.gz | |
Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot
Support return-type bounds on associated methods from supertraits
Support `T: Trait<method(): Bound>` when `method` comes from a supertrait, aligning it with the behavior of associated type bounds (both equality and trait bounds).
The only wrinkle is that I have to extend `super_predicates_that_define_assoc_type` to look for *all* items, not just `AssocKind::Ty`. This will also be needed to support `feature(associated_const_equality)` as well, which is subtly broken when it comes to supertraits, though this PR does not fix those yet. There's a slight chance there's a perf regression here, in which case I guess I could split it out into a separate query.
Diffstat (limited to 'tests/rustdoc-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions