aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOwen Avery <powerboat9.gamer@gmail.com>2023-02-27 10:23:19 -0500
committerPhilip Herron <philip.herron@embecosm.com>2023-02-28 22:46:19 +0000
commit588b5f19dc8a7043d46afc8c6051e8a6228d5b56 (patch)
tree653ad877821a7069a82086b0e87963811dd19692
parent0cf0a7b8fcf00b653816e981b53ba25ac38607f1 (diff)
downloadgcc-588b5f19dc8a7043d46afc8c6051e8a6228d5b56.zip
gcc-588b5f19dc8a7043d46afc8c6051e8a6228d5b56.tar.gz
gcc-588b5f19dc8a7043d46afc8c6051e8a6228d5b56.tar.bz2
Replace gcc_unreachable with rust_sorry_at
gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): Improve error messages. Signed-off-by: Owen Avery <powerboat9.gamer@gmail.com>
-rw-r--r--gcc/rust/typecheck/rust-hir-type-check-pattern.cc18
1 files changed, 9 insertions, 9 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
index fd4814c..65a3e67 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
@@ -387,24 +387,24 @@ TypeCheckPattern::visit (HIR::IdentifierPattern &)
}
void
-TypeCheckPattern::visit (HIR::QualifiedPathInExpression &)
+TypeCheckPattern::visit (HIR::QualifiedPathInExpression &pattern)
{
- // TODO
- gcc_unreachable ();
+ rust_sorry_at (pattern.get_locus (),
+ "type checking qualified path patterns not supported");
}
void
-TypeCheckPattern::visit (HIR::ReferencePattern &)
+TypeCheckPattern::visit (HIR::ReferencePattern &pattern)
{
- // TODO
- gcc_unreachable ();
+ rust_sorry_at (pattern.get_locus (),
+ "type checking qualified path patterns not supported");
}
void
-TypeCheckPattern::visit (HIR::SlicePattern &)
+TypeCheckPattern::visit (HIR::SlicePattern &pattern)
{
- // TODO
- gcc_unreachable ();
+ rust_sorry_at (pattern.get_locus (),
+ "type checking qualified path patterns not supported");
}
} // namespace Resolver