[COMMITTED 061/141] gccrs: Add test case to show issue is fixed

[arthur . cohen]

From: Philip Herron <herron.phi...@googlemail.com>

This was fixed as part of: "gccrs: Fix compilation of trait-items which map to 
impl items"

Fixes Rust-GCC#3402

gcc/testsuite/ChangeLog:

        * rust/compile/nr2/exclude: nr2 cant handle this
        * rust/compile/issue-3402-1.rs: New test.
        * rust/compile/issue-3402-2.rs: New test.

Signed-off-by: Philip Herron <herron.phi...@googlemail.com>
---
 gcc/testsuite/rust/compile/issue-3402-1.rs | 29 ++++++++++++++++++++++
 gcc/testsuite/rust/compile/issue-3402-2.rs | 18 ++++++++++++++
 gcc/testsuite/rust/compile/nr2/exclude     |  1 +
 3 files changed, 48 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/issue-3402-1.rs
 create mode 100644 gcc/testsuite/rust/compile/issue-3402-2.rs

diff --git a/gcc/testsuite/rust/compile/issue-3402-1.rs 
b/gcc/testsuite/rust/compile/issue-3402-1.rs
new file mode 100644
index 00000000000..ed603cecaad
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3402-1.rs
@@ -0,0 +1,29 @@
+pub struct Foo {
+    a: i32,
+    // { dg-warning "field is never read" "" { target *-*-* } .-1 }
+}
+pub struct Bar(i32);
+
+#[lang = "sized"]
+trait Sized {}
+
+pub mod core {
+    pub mod default {
+        pub trait Default: Sized {
+            fn default() -> Self;
+        }
+
+        impl Default for i32 {
+            fn default() -> Self {
+                0
+            }
+        }
+    }
+}
+
+impl ::core::default::Default for Bar {
+    #[inline]
+    fn default() -> Bar {
+        Bar(core::default::Default::default())
+    }
+}
diff --git a/gcc/testsuite/rust/compile/issue-3402-2.rs 
b/gcc/testsuite/rust/compile/issue-3402-2.rs
new file mode 100644
index 00000000000..b665af25b51
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3402-2.rs
@@ -0,0 +1,18 @@
+pub struct Bar(i32);
+
+#[lang = "sized"]
+trait Sized {}
+
+pub trait A: Sized {
+    fn foo() -> Self;
+}
+
+impl A for i32 {
+    fn foo() -> Self {
+        0
+    }
+}
+
+pub fn bar() {
+    let _ = Bar(A::foo());
+}
diff --git a/gcc/testsuite/rust/compile/nr2/exclude 
b/gcc/testsuite/rust/compile/nr2/exclude
index f8e280e341c..1b34e9fe20e 100644
--- a/gcc/testsuite/rust/compile/nr2/exclude
+++ b/gcc/testsuite/rust/compile/nr2/exclude
@@ -125,4 +125,5 @@ try-trait.rs
 derive-debug1.rs
 issue-3382.rs
 derive-default1.rs
+issue-3402-1.rs
 # please don't delete the trailing newline
-- 
2.45.2