gccrs: Add get_defid helper to TypeCheckContextItem

gcc/rust/ChangeLog:

	* typecheck/rust-hir-type-check.h: Add prototype
	* typecheck/rust-typecheck-context.cc (TypeCheckContextItem::get_defid): implementation

Signed-off-by: Philip Herron <herron.philip@googlemail.com>

diff --git a/gcc/rust/typecheck/rust-hir-type-check.h b/gcc/rust/typecheck/rust-hir-type-check.h
index 10aa3b32a9e00234c17bbae81ef2b09b3a9bd041..3f43bc89d6fdf3e001362f06a1079e4229390488 100644 (file)
--- a/gcc/rust/typecheck/rust-hir-type-check.h
+++ b/gcc/rust/typecheck/rust-hir-type-check.h
@@ -51,6 +51,8 @@ public:
 
   TyTy::FnType *get_context_type ();
 
+  DefId get_defid () const;
+
 private:
   union Item
   {

diff --git a/gcc/rust/typecheck/rust-typecheck-context.cc b/gcc/rust/typecheck/rust-typecheck-context.cc
index dcf06098cc5345ab50b819ef28dfa05acf6d65b8..7c0dc06372d040145741011255cd08c5c348376c 100644 (file)
--- a/gcc/rust/typecheck/rust-typecheck-context.cc
+++ b/gcc/rust/typecheck/rust-typecheck-context.cc
@@ -576,5 +576,23 @@ TypeCheckContextItem::get_context_type ()
   return static_cast<TyTy::FnType *> (lookup);
 }
 
+DefId
+TypeCheckContextItem::get_defid () const
+{
+  switch (get_type ())
+    {
+    case ITEM:
+      return item.item->get_mappings ().get_defid ();
+
+    case IMPL_ITEM:
+      return item.impl_item.second->get_mappings ().get_defid ();
+
+    case TRAIT_ITEM:
+      return item.trait_item->get_mappings ().get_defid ();
+    }
+
+  return UNKNOWN_DEFID;
+}
+
 } // namespace Resolver
 } // namespace Rust