[gcc r14-7516] gccrs: add helper to check for a const or static context

[gcc r14-7516] gccrs: add helper to check for a const or static context

[Arthur Cohen]

https://gcc.gnu.org/g:0c6338ddb64b8a3fc24470b3040e09ade2f772d8

commit r14-7516-g0c6338ddb64b8a3fc24470b3040e09ade2f772d8
Author: Philip Herron <herron.philip@googlemail.com>
Date:   Mon Apr 17 22:04:11 2023 +0100

    gccrs: add helper to check for a const or static context
    
    gcc/rust/ChangeLog:
    
            * typecheck/rust-hir-type-check.h: new helper
            * typecheck/rust-typecheck-context.cc (TypeCheckContext::have_function_context):
            implementation
    
    Signed-off-by: Philip Herron <herron.philip@googlemail.com>

Diff:
---
 gcc/rust/typecheck/rust-hir-type-check.h     | 1 +
 gcc/rust/typecheck/rust-typecheck-context.cc | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/gcc/rust/typecheck/rust-hir-type-check.h b/gcc/rust/typecheck/rust-hir-type-check.h
index 3f43bc89d6f..6fa75ecdc33 100644
--- a/gcc/rust/typecheck/rust-hir-type-check.h
+++ b/gcc/rust/typecheck/rust-hir-type-check.h
@@ -91,6 +91,7 @@ public:
   void insert_type_by_node_id (NodeId ref, HirId id);
   bool lookup_type_by_node_id (NodeId ref, HirId *id);
 
+  bool have_function_context () const;
   TyTy::BaseType *peek_return_type ();
   TypeCheckContextItem peek_context ();
   void push_return_type (TypeCheckContextItem item,
diff --git a/gcc/rust/typecheck/rust-typecheck-context.cc b/gcc/rust/typecheck/rust-typecheck-context.cc
index 7c0dc06372d..5d050218dc7 100644
--- a/gcc/rust/typecheck/rust-typecheck-context.cc
+++ b/gcc/rust/typecheck/rust-typecheck-context.cc
@@ -136,6 +136,12 @@ TypeCheckContext::lookup_type_by_node_id (NodeId ref, HirId *id)
   return true;
 }
 
+bool
+TypeCheckContext::have_function_context () const
+{
+  return !return_type_stack.empty ();
+}
+
 TyTy::BaseType *
 TypeCheckContext::peek_return_type ()
 {