bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Don't suggest cyclic associated type constraint

Browse source
This commit is contained in:
Michael Goulet 2023-05-30 20:35:10 +00:00
parent acf257e62c
commit c92140e838
3 changed files with 29 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/rustc_infer/src/infer/error_reporting/note_and_explain.rs
View file

@ -374,12 +374,18 @@ impl<T> Trait<T> for X {
) {
let tcx = self.tcx;
// Don't suggest constraining a projection to something containing itself
if self.tcx.erase_regions(values.found).contains(self.tcx.erase_regions(values.expected)) {
return;
}
let msg = || {
format!(
"consider constraining the associated type `{}` to `{}`",
values.expected, values.found
)
};
let body_owner = tcx.hir().get_if_local(body_owner_def_id);
let current_method_ident = body_owner.and_then(|n| n.ident()).map(|i| i.name);