procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

gccrs: [E0576] Associated item not found in given type

Browse source 
gcc/rust/ChangeLog:

	* typecheck/rust-hir-type-check-type.cc (TypeCheckType::visit):
	Add rich error message and error code similiar to rustc with
	associaed type and trait name

gcc/testsuite/ChangeLog:

	* rust/compile/unknown-associated-item.rs: New test.

Signed-off-by: Muhammad Mahad <mahadtxt@gmail.com>
This commit is contained in:
Muhammad Mahad 2024-07-19 13:42:03 +00:00 • committed by Arthur Cohen
parent c7cdae718c
commit f9a8ce88cb
2 changed files with 21 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gcc/rust/typecheck/rust-hir-type-check-type.cc
View file

@ -220,7 +220,17 @@ TypeCheckType::visit (HIR::QualifiedPathInType &path)
= specified_bound.lookup_associated_item (item_seg_identifier.as_string ());
if (item.is_error ())
{
rust_error_at (item_seg->get_locus (), "unknown associated item");
std::string item_seg_ident_name, rich_msg;
item_seg_ident_name = qual_path_type.get_trait ()->as_string ();
rich_msg = "not found in `" + item_seg_ident_name + "`";
rich_location richloc (line_table, item_seg->get_locus ());
richloc.add_fixit_replace (rich_msg.c_str ());
rust_error_at (richloc, ErrorCode::E0576,
"cannot find associated type %qs in trait %qs",
item_seg_identifier.as_string ().c_str (),
item_seg_ident_name.c_str ());
return;
}

10
gcc/testsuite/rust/compile/unknown-associated-item.rs Normal file
View file

@ -0,0 +1,10 @@
#![allow(unused)]
fn main() {
trait Hello {
type Who;
fn hello() -> <Self as Hello>::You;
// { dg-error "cannot find associated type .You. in trait .Hello. .E0576." "" { target *-*-* } .-1 }
// { dg-error "failed to resolve return type" "" { target *-*-* } .-2 }
}
}