[gcc r15-8777] gccrs: Fix ICE during path probe

[Arthur Cohen via Gcc-cvs]

https://gcc.gnu.org/g:3057b8a897aad30e1028cffb61e6568703b1fc09

commit r15-8777-g3057b8a897aad30e1028cffb61e6568703b1fc09
Author: Philip Herron <herron.phi...@googlemail.com>
Date:   Mon Feb 3 15:15:40 2025 +0000

    gccrs: Fix ICE during path probe
    
    It is valid for the query to fail here so its valid to not assert here.
    
    gcc/rust/ChangeLog:
    
            * typecheck/rust-hir-path-probe.cc (PathProbeType::visit): remove 
assertion
    
    Signed-off-by: Philip Herron <herron.phi...@googlemail.com>

Diff:
---
 gcc/rust/typecheck/rust-hir-path-probe.cc | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/gcc/rust/typecheck/rust-hir-path-probe.cc 
b/gcc/rust/typecheck/rust-hir-path-probe.cc
index 1148b24b0107..0465d2f5786f 100644
--- a/gcc/rust/typecheck/rust-hir-path-probe.cc
+++ b/gcc/rust/typecheck/rust-hir-path-probe.cc
@@ -212,8 +212,8 @@ PathProbeType::visit (HIR::TypeAlias &alias)
     {
       HirId tyid = alias.get_mappings ().get_hirid ();
       TyTy::BaseType *ty = nullptr;
-      bool ok = query_type (tyid, &ty);
-      rust_assert (ok);
+      if (!query_type (tyid, &ty))
+       return;
 
       PathProbeCandidate::ImplItemCandidate impl_item_candidate{&alias,
                                                                current_impl};
@@ -232,8 +232,8 @@ PathProbeType::visit (HIR::ConstantItem &constant)
     {
       HirId tyid = constant.get_mappings ().get_hirid ();
       TyTy::BaseType *ty = nullptr;
-      bool ok = query_type (tyid, &ty);
-      rust_assert (ok);
+      if (!query_type (tyid, &ty))
+       return;
 
       PathProbeCandidate::ImplItemCandidate impl_item_candidate{&constant,
                                                                current_impl};
@@ -252,8 +252,8 @@ PathProbeType::visit (HIR::Function &function)
     {
       HirId tyid = function.get_mappings ().get_hirid ();
       TyTy::BaseType *ty = nullptr;
-      bool ok = query_type (tyid, &ty);
-      rust_assert (ok);
+      if (!query_type (tyid, &ty))
+       return;
 
       PathProbeCandidate::ImplItemCandidate impl_item_candidate{&function,
                                                                current_impl};