about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/structured_errors.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2022-10-12 21:03:47 +0000
committerbors <bors@rust-lang.org>2022-10-12 21:03:47 +0000
commit0938e1680daf66ca6aad428aedf9a920a0dab5ad (patch)
tree0635a662adb77e43b06a945a6a25ac4aefece490 /compiler/rustc_hir_analysis/src/structured_errors.rs
parentc0983a9aac889d16722a12602ac678051e62c3fb (diff)
parent0eeeea9414d0ee5b22f6a33601282b46eca67bd6 (diff)
downloadrust-0938e1680daf66ca6aad428aedf9a920a0dab5ad.tar.gz
rust-0938e1680daf66ca6aad428aedf9a920a0dab5ad.zip
Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakis
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
Diffstat (limited to 'compiler/rustc_hir_analysis/src/structured_errors.rs')
0 files changed, 0 insertions, 0 deletions