diff options
| -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 } + } +} |