[gcc r15-8726] gccrs: lang-item:Add LangItem::Kind::RECEIVER

[Arthur Cohen via Gcc-cvs]

https://gcc.gnu.org/g:1beda99b0336ec0e7bfba5395d5b47334b71b0bf

commit r15-8726-g1beda99b0336ec0e7bfba5395d5b47334b71b0bf
Author: lishin <lishin1...@gmail.com>
Date:   Mon Jan 20 17:53:18 2025 +0000

    gccrs: lang-item:Add LangItem::Kind::RECEIVER
    
    Add and implement a lang item (receiver) in source code.
    
    gcc/rust/ChangeLog:
    
            * util/rust-lang-item.cc: Add receiver to map.
            * util/rust-lang-item.h: Define LangItem::Kind::RECEIVER.
    
    gcc/testsuite/ChangeLog:
    
            * rust/compile/issue-2954.rs: New test.
    
    Signed-off-by: lishin <lishin1...@gmail.com>

Diff:
---
 gcc/rust/util/rust-lang-item.cc          |  1 +
 gcc/rust/util/rust-lang-item.h           |  1 +
 gcc/testsuite/rust/compile/issue-2954.rs | 17 +++++++++++++++++
 3 files changed, 19 insertions(+)

diff --git a/gcc/rust/util/rust-lang-item.cc b/gcc/rust/util/rust-lang-item.cc
index e038e900f947..7460df0a6daa 100644
--- a/gcc/rust/util/rust-lang-item.cc
+++ b/gcc/rust/util/rust-lang-item.cc
@@ -46,6 +46,7 @@ const BiMap<std::string, LangItem::Kind> 
Rust::LangItem::lang_items = {{
   {"shr_assign", Kind::SHR_ASSIGN},
   {"deref", Kind::DEREF},
   {"deref_mut", Kind::DEREF_MUT},
+  {"receiver", Kind::RECEIVER},
   {"index", Kind::INDEX},
   {"index_mut", Kind::INDEX_MUT},
   {"RangeFull", Kind::RANGE_FULL},
diff --git a/gcc/rust/util/rust-lang-item.h b/gcc/rust/util/rust-lang-item.h
index f947f3f021c0..e68f05590845 100644
--- a/gcc/rust/util/rust-lang-item.h
+++ b/gcc/rust/util/rust-lang-item.h
@@ -61,6 +61,7 @@ public:
 
     DEREF,
     DEREF_MUT,
+    RECEIVER,
 
     // 
https://github.com/rust-lang/rust/blob/master/library/core/src/ops/index.rs
     INDEX,
diff --git a/gcc/testsuite/rust/compile/issue-2954.rs 
b/gcc/testsuite/rust/compile/issue-2954.rs
new file mode 100644
index 000000000000..52f7c9140ecc
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-2954.rs
@@ -0,0 +1,17 @@
+#[lang = "sized"]
+trait Sized {}
+
+#[lang = "receiver"]
+#[unstable(feature = "receiver_trait", issue = "none")]
+// #[doc(hidden)]
+pub trait Receiver {
+    // Empty.
+}
+
+#[unstable(feature = "receiver_trait", issue = "none")]
+impl<T: ?Sized> Receiver for &T {}
+
+#[unstable(feature = "receiver_trait", issue = "none")]
+impl<T: ?Sized> Receiver for &mut T {}
+
+