From: Philip Herron <herron.philip@googlemail.com>
Date: Fri, 11 Jul 2025 09:35:38 +0000 (+0100)
Subject: gccrs: Add test case to show we emit better errors now
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=4d57fe1a44292e983a036caf368bf7afbaa9bf1f;p=thirdparty%2Fgcc.git

gccrs: Add test case to show we emit better errors now

Fixes Rust-GCC#3144

gcc/testsuite/ChangeLog:

	* rust/compile/issue-3144.rs: New test.

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

diff --git a/gcc/testsuite/rust/compile/issue-3144.rs b/gcc/testsuite/rust/compile/issue-3144.rs
new file mode 100644
index 00000000000..4e61078a0dc
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3144.rs
@@ -0,0 +1,29 @@
+#[lang = "sized"]
+pub trait Sized {}
+
+#[lang = "copy"]
+trait Copy {}
+
+#[lang = "clone"]
+pub trait Clone {
+    fn clone(&self) -> Self;
+}
+
+impl Clone for i32 {
+    fn clone(&self) -> i32 {
+        *self
+    }
+}
+
+struct S {}
+
+#[derive(Clone, Copy)]
+// { dg-error {bounds not satisfied for S .Clone. is not satisfied .E0277.} "" { target *-*-* } .-1 }
+struct S2 {
+    a: i32,
+    s: S,
+}
+
+fn main() -> i32 {
+    0
+}