[gcc/devel/rust/master] Replace gcc_unreachable with rust_sorry_at

[gcc/devel/rust/master] Replace gcc_unreachable with rust_sorry_at

[Thomas Schwinge]

https://gcc.gnu.org/g:588b5f19dc8a7043d46afc8c6051e8a6228d5b56

commit 588b5f19dc8a7043d46afc8c6051e8a6228d5b56
Author: Owen Avery <powerboat9.gamer@gmail.com>
Date:   Mon Feb 27 10:23:19 2023 -0500

    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>

Diff:
---
 gcc/rust/typecheck/rust-hir-type-check-pattern.cc | 18 +++++++++---------
 1 file 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 fd4814c3604..65a3e673d95 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