diff options
| author | Muhammad Mahad <mahadtxt@gmail.com> | 2024-07-19 13:42:03 +0000 |
|---|---|---|
| committer | P-E-P <32375388+P-E-P@users.noreply.github.com> | 2024-07-24 11:44:33 +0000 |
| commit | 8c357fd0072a29b24e10a8a1fe287f86f8c9b553 (patch) | |
| tree | d789e653f2bcca412fc6210aaad36370cd9c4d98 /gcc | |
| parent | 34a0835087d1a451aceeccda40e6754182b25ed3 (diff) | |
| download | gcc-8c357fd0072a29b24e10a8a1fe287f86f8c9b553.zip gcc-8c357fd0072a29b24e10a8a1fe287f86f8c9b553.tar.gz gcc-8c357fd0072a29b24e10a8a1fe287f86f8c9b553.tar.bz2 | |
gccrs: [E0576] Associated `item` not found in given `type`
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>
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-type.cc | 12 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/unknown-associated-item.rs | 10 |
2 files changed, 21 insertions, 1 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-type.cc b/gcc/rust/typecheck/rust-hir-type-check-type.cc index 36f64a7..b745b52 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-type.cc +++ b/gcc/rust/typecheck/rust-hir-type-check-type.cc @@ -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; } diff --git a/gcc/testsuite/rust/compile/unknown-associated-item.rs b/gcc/testsuite/rust/compile/unknown-associated-item.rs new file mode 100644 index 0000000..c292069 --- /dev/null +++ b/gcc/testsuite/rust/compile/unknown-associated-item.rs @@ -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 } + } +} |