gccrs: Add missing name resolution to Function type-path segments

gcc/rust/ChangeLog:

	* resolve/rust-ast-resolve-type.cc (ResolveRelativeTypePath::go): Add missing handling of
	function case.

diff --git a/gcc/rust/resolve/rust-ast-resolve-type.cc b/gcc/rust/resolve/rust-ast-resolve-type.cc
index d227b8b539acebab73dff8ef762bee879173eecb..e5c712aba070c1a3268ef68eeb5044dadb44eddd 100644 (file)
--- a/gcc/rust/resolve/rust-ast-resolve-type.cc
+++ b/gcc/rust/resolve/rust-ast-resolve-type.cc
@@ -149,7 +149,20 @@ ResolveRelativeTypePath::go (AST::TypePath &path, NodeId &resolved_node_id)
          break;
 
        case AST::TypePathSegment::SegmentType::FUNCTION:
-         gcc_unreachable ();
+         AST::TypePathSegmentFunction *fnseg
+           = static_cast<AST::TypePathSegmentFunction *> (segment.get ());
+
+         AST::TypePathFunction &fn = fnseg->get_type_path_function ();
+         for (auto &param : fn.get_params ())
+           {
+             ResolveType::go (param.get ());
+           }
+
+         if (fn.has_return_type ())
+           {
+             ResolveType::go (fn.get_return_type ().get ());
+           }
+
          break;
        }