Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakis

Browse source

Support default-body trait functions with return-position `impl Trait` in traits

Introduce a new `Trait` candidate kind for the `ImplTraitInTrait` projection candidate, which just projects an RPITIT down to its opaque type form.

This is a hack until we lower RPITITs to regular associated types, after which we will need to rework how these default bodies are type-checked, so comments are left in a few places for us to clean up later.

Fixes #101665

...

This commit is contained in:

bors 2022-10-12 21:03:47 +00:00

parent 0a214c65d9 5bcec7cfd6

commit ace02b1ebb

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